930:現代数学の系譜 雑談 古典ガロア理論も読む
19/09/08 11:16:17.90 KY2miv9A.net
>>852 追加
＞∵集合Aの元0は、集合Bの元ではない。
そうそう
下記ですね
元0は、空集合でしょｗ（＾＾；
URLﾘﾝｸ(ja.wikipedia.org)
空集合
(抜粋)
性質
全ての集合は空集合を部分集合として含む
931:１３２人目の素数さん
19/09/08 12:01:45.58 cMOAtiJl.net
>>837
>３）Xiが無限回のサイコロ投げ（東大 会田茂樹 PDF>>835の通りで、サイコロは普通で投げた後とまるｗ）
> だと、∀i∈Nで P(Xi)＝1/6です
それは任意の箱の中身を当てずっぽうで当てる確率。
時枝解法の確率は100個の候補から99個以上の当たり箱を選ぶ確率。つまり確率の対象がまったく異なるので
> 時枝記事の ∃i∈Nで P(Xi)＝99/100 とはならない
は言えない。論理がまったくデタラメ。
> だから、”相手の「どんな実数を入れるかはまったく自由」”の前提内で、反例がある
論理がデタラメで反例になっていない。
>４）戦略の話ではありません！！ 戦略以前の、「どんな実数を入れるか」の話ですよ
どんな実数を入れるかはまったく自由。
当てずっぽう戦略と時枝戦略では確率の対象が異なる。
おまえは当てずっぽう戦略がmustと言っている。回答者の戦略の自由を侵害しており論外。
サルは「当たるはずが無い」という直観を主張するばかりで時枝解法を見ようとしない。
自分が理解できない解法は見たくもないのだろう。
もうサルは失せろよ。数学板のレベルじゃない。
932:１３２人目の素数さん
19/09/08 12:07:59.94 cMOAtiJl.net
>>853
>全ての集合は空集合を部分集合として含む
空集合という元が属すとは書かれてないんだがｗ
まあサルが↑を理解できないなら0を1に替えてもいい。
反例：A={1},B={{1}}
A∈B だが、A⊂B ではない
∵集合Aの元1は、集合Bの元ではない。
933:１３２人目の素数さん
19/09/08 12:09:46.77 7MS+nwFK.net
>> 846
> 時枝のΩ ＝ R^N
> 勝手に並べ変える？
数当て戦略では無限数列を試行の結果としてみていないからだよ
袋の中に完全代表系が1つだけ入っている
つまり全ての同値類に対してそれぞれ1つだけ代表元が入っていて変更されることはない
そこで出題された(値が変更されない)任意の無限数列に対して
(1) 分けた100列から1列選ぶ
(2) 残りの99列を全て開けてそれぞれの列に対して代表元1つを使い
決定番号(定数)を求める
(3) 99列の決定番号の最大値D(定数)を求める
(4) 選んだ1列のD+1番目以降を全て開けて同値類を求める
Dの値によって同値類は変化しない
(5) 選んだ列の(変化しない)同値類の代表元rのD番目 = rD (定数)を答える
rnやDは全て開けた箱の中の数字や袋の中の変更されない代表元を用いて
決めるから無限数列を試行の結果としてみなくてよい
> 残り、可算無限個は、サイコロの目の入れたら、確率論通り1/6？
残りは全部箱を開けて中身を見てよいから箱の中の数字を確率的に考える意味がない
> 何回も独立に
> サイコロ投げを続けることを考える. その試行の結果として、1～6 の数字の無限列が現れる.
> この無限列一つ一つが根元事象とみなせる. すなわち
> Ω は Ω = ｛ a1, a2, ・ ・ ・ , an, ・ ・ ・) ｜ ai = 1, ・ ・ ,6 ｝
100列の無限数列から1列選ぶことを考える
その試行の結果として1～100の数字が現れる
この100個の数字1つ1つが根元事象とみなせる
すなわち Ω = {1, 2, ... , 100}
100列の内で数当てに失敗するのは2列以上にならないから
的中確率は(少なくとも)99/100
934:１３２人目の素数さん
19/09/08 12:12:48.12 cMOAtiJl.net
>>852
>それ、なんか、勘違いしていますよ（＾＾；
勘違いしてるのはサルｗ
>A が B の部分集合であることを、「A は B に（部分集合として）含まれる（contained; 包含される）」、「A は B に包まれる（included; 包摂あるいは内包される）」などということもある。
どこにも「AはBに（元として）属す」とは書かれてないんだがｗ
いいから近所の中学生に教えてもらえ
理解するまでROMってろ、分かってるふりしなくていいから
935:１３２人目の素数さん
19/09/08 12:39:31.39 cMOAtiJl.net
>>845
>２）二つの集合A,Bで、A ⊂ B → A ∈ B
> ∵ 集合B中で、集合Aの全ての元aを集めて、内部に集合Aを構成できるから
反例：A=B={1}
A⊂B だが、A∈B ではない
∵集合Bに{1}という元は属していない。
いいから近所の中学生に教えてもらえ
理解するまでROMってろ
936:１３２人目の素数さん
19/09/08 12:48:02.49 cMOAtiJl.net
サルの妄想癖にも困ったものだ
書かれていないことまで妄想して独善解釈する
書かれていることをその通りに解釈するということができない
だからアホレスを連発する、数学以前、病気
サルはすぐに病院池
妄想癖の治療が終わるまでROMってろ
937:１３２人目の素数さん
19/09/08 12:52:32.42 cMOAtiJl.net
>>845
> ∵ 集合B中で、集合Aの全ての元aを集めて、内部に集合Aを構成できるから
内部で？元を集めて？構成できる？
何を妄想してるんだかこのサルは
938:１３２人目の素数さん
19/09/08 13:08:08.47 cMOAtiJl.net
>>850 >２）これを公理として認めるわけですから、”「P(k) ⇒ P(k + 1)」で自然数全体に至る”を認めるということです 何の回答にもなってないｗ ”「P(k) ⇒ P(k + 1)」で自然数全体に至る”が意味不明 数学的帰納法からなぜ”「P(k) ⇒ P(k + 1)」で自然数全体に至る”が言えるのか不明
940:１３２人目の素数さん
19/09/08 13:09:00.36 cMOAtiJl.net
サルは分かってないのに分かってるふりしなくていいから
941:１３２人目の素数さん
19/09/08 13:26:00.40 cMOAtiJl.net
当たるはずが無いという直観はある意味では正しい。
現実世界では無限個の箱は用意できないし、選択公理を認めなければ時枝解法は使えない。
当てられるのはあくまで現代数学の中での話。
現代数学を理解せぬサルが直観にしがみつくのも仕方ない話ではある。
942:現代数学の系譜 雑談 古典ガロア理論も読む
19/09/08 14:14:53.06 KY2miv9A.net
メモ
URLﾘﾝｸ(matom)ｅ.naver.jp/odai/2143648719663632301
ABC予想って結局どうなったの？ちょっと整理してみた。
２０１２年９月１７日に日本の報道各社が一斉に報じた「ABC予想解明か」というニュース、覚えてますか？
ここでは、ABC予想のニュースのその後について、最新情報を中心にまとめていきます。
更新日: 2019年05月02日
この記事は私がまとめました
abc_conjectureさん
943:現代数学の系譜 雑談 古典ガロア理論も読む
19/09/08 14:26:24.50 KY2miv9A.net
>>858
いや確かに
正則性公理を採用しているから
ｘ not∈ x
だな
だから、>>845の
”２）二つの集合A,Bで、A ⊂ B → A ∈ B”
は、不成立
（反例としては、A ⊂ Ａ → A not∈ A だな）
だから、”同値”も撤回する
但し、”「まったく別もの」ではない”は、正しい（＾＾
URLﾘﾝｸ(ja.wikipedia.org)
正則性公理
・∀xについて、無限下降列である x ∈ x_ 1 ∈ x_ 2 ∈ ... は存在しない。
944:現代数学の系譜 雑談 古典ガロア理論も読む
19/09/08 14:28:41.50 KY2miv9A.net
再度言おう
スレ75?ｽﾚﾘﾝｸ(math板:411番)-時枝記事の手法など
プロ数学者は、だれも相手にしない
不成立に見えて、自明に不成立だから ｗ（＾＾
スレ75?ｽﾚﾘﾝｸ(math板:377番)-
i.i.d. 独立同分布
（説明）
１．箱が1個。確率変数X1
サイコロ，コインなら、確率空間は、下記の定義の通り。
サイコロΩ={1,2,3,4,5,6}で、1～6の数が箱に入り、各確率1/6
コイン１枚なら、Ω={0,1}で、0か1の数が箱に入り、各確率1/2
２．箱がｎ個。確率変数X1,X2,・・・,Xn
i.i.d. 独立同分布とすると、各箱は上記1の通り
(２’箱がｎ+1個。確率変数X1,X2,・・・,Xn+1
i.i.d. 独立同分布とすると、各箱は上記1の通り)??
３．箱が可算無限個。確率変数X1,X2,・・・ →X∞
i.i.d. 独立同分布とすると、各箱は上記1の通り
４．これは、数学的帰納法の証明にもなっている。時枝は、これで尽きている。上記１～３のどの箱の確率変数も例外なし！
QED（＾＾
（参考）
URLﾘﾝｸ(mathtrain.jp)
確率空間の定義と具体例（サイコロ，コイン） | 高校数学の美しい物語 2015/11/06URLﾘﾝｸ(ja.wikipedia.org)
数学的帰納法
945:現代数学の系譜 雑談 古典ガロア理論も読む
19/09/08 14:29:17.86 KY2miv9A.net
＜i.i.d. 独立同分布＞
・現代確率論が、独立な確率変数の無限族を扱えることは、下記時枝記事にもある
（時枝は、「箱にXnのランダムな値を入れられて」と表現しているが、数学では箱自身をXnと考えることができる（念のための注））
・箱が1つある。それをXiとする。サイコロの目を入れる。自明にP(Xi)=1/6
・その回りに箱を1つ増やす。独立で同分布として、サイコロの目を入れるとして、同じく確率は1/6。
・箱をｎ個増やす。上記同様
・箱をｎ＋１個増やす。上記同様
・数学的帰納法により、全ての自然数で成立つ。つまりは、時枝記事の数列に適用できるということ
（自明だが念のため）・そして、時枝先生は、反省しています。 （下記）「もうちょっと面白いのは，独立性に関する反省だと思う.その箱のX と他のX1，X2，X3，・・・がまるまる無限族として独立なら，当てられっこないではないか－－他の箱から情報は一切もらえないのだから」
（下記の独立の定義より）
・独立だから、Xi以外の箱の変数の値が分かっても、Xiの確率は変化せず、P(Xi)=1/6のまま
・”i.i.d. 独立同分布”の仮定より、全てのiについて上記は成立する
QED
（参考）
スレ47?ｽﾚﾘﾝｸ(math板:22番)-
(抜粋)
数学セミナー201511月号P37 時枝記事より
「もうちょっと面白いのは，独立性に関する反省だと思う.
確率の中心的対象は，独立な確率変数の無限族
X1，X2，X3，…である.
n番目の箱にXnのランダムな値を入れられて，ある箱の中身を当てようとしたって，
その箱のX と他のX1，X2，X3，・・・がまるまる無限族として独立なら，
当てられっこないではないか－－他の箱から情報は一切もらえないのだから.
(引用終り)
URLﾘﾝｸ(ja.wikipedia.org)(%E7%A2%BA%E7%8E%87%E8%AB%96)
独立 (確率論)
(抜粋)
2つの事象が独立といった場合は、片方の事象が起きたことが分かっても、もう片方の事象の起きる確率が変化しないことを意味する。2つの確率変数が独立といった場合は、片方の変数の値が分かっても、もう片方の変数の確率分布が変化しないことを意味する[1]。
事象 A と B が独立であるとは、事象 B の起こることが事象 A の起こる確率に一切の影響を与えないことを意味する。
946:１３２人目の素数さん
19/09/08 14:30:12.49 cMOAtiJl.net
>>865
>但し、”「まったく別もの」ではない”は、正しい（＾＾
意味不明過ぎｗ 「別じゃない」なら何？
947:１３２人目の素数さん
19/09/08 14:33:40.99 cMOAtiJl.net
>>866
また妄想か
早く治療しろ
948:１３２人目の素数さん
19/09/08 14:34:50.55 bH+0Hw/z.net
>>838
ピエロ、とはどなたですか？
妄想のようですね 精神科を紹介しますよ
あなたは「自然数論の真偽の定義」を示せていませんね
要するにあなたは論文を理解できないにもかかわらず
論文の著者を無条件に信じた愚か者ですね
949:１３２人目の素数さん
19/09/08 14:38:13.43 cMOAtiJl.net
>>867
>・数学的帰納法により、全ての自然数で成立つ。つまりは、時枝記事の数列に適用できるということ
大間違い
任意の有限列で成立することが無限列で成立するとは限らない
数学的帰納法を誤用している
近所の高校生に教えてもらえ
まあ高校生も困るだろうな、これだけ説明しても分からないバカ相手じゃ
950:１３２人目の素数さん
19/09/08 14:45:46.48 bH+0Hw/z.net
カット除去による無矛盾性証明に関しては、
林晋の「形式化と無矛盾性証明のパラドックス」
（林晋編著「パラドックス」（日本評論社）に収録）
を読まれたい
要するに、自然数論の証明がカットを含んでいないなら無矛盾である、
と自然数論でも証明できるので、一般の自然数論の証明から
必ずカットを除去できるならば、無矛盾性が証明できるという発想だが
肝心の「必ずカットが除去できる」という点が、自然数論の中では
実現できず、自然数論の外の推論（ε0に関する超限帰納法）を必要とする
951:１３２人目の素数さん
19/09/08 14:50:59.97 cMOAtiJl.net
>>865
>いや確かに
>正則性公理を採用しているから
>ｘ not∈ x
>だな
バカ過ぎ
正則性公理を持ち出すまでもなく間違いである
952:１３２人目の素数さん
19/09/08 15:11:44.24 bH+0Hw/z.net
>>872
ついでにいうと、カットの無い証明に関する証明可能性述語は
第二不完全性定理の証明の前提である可導性条件を満たさないので
第二不完全性定理（自然数論の無矛盾性証明が自然数論で証明できない）
に反するように見える結果が証明できる
953:現代数学の系譜 雑談 古典ガロア理論も読む
19/09/08 17:48:30.99 KY2miv9A.net
>>867 補足追加
1～pまでの数をランダムに箱に入れる
（例えば、1～pまでの整数の札を、毎回シャッフルして選ぶ。選んだ数を書いた紙を箱に入れる。札は戻して、繰返す。）
箱は、取り敢ず有限ｎ個とする。
d=1, 2, 3, 4, ・・・, n-1, n
*)1,p-1,p^2-p,p^3-p^2,・・・,p^(n-1)-p^(n-2),p^n-p^(n-1)
ｄは決定番号
*)は、場合の数で、全体ではp^n
これを確率分布に直すと
d= 1, 2, 3, 4 , ・・・, n-1, n
p=1/p^n,1/p^(n-1),(p^2-p)/p^n,(p^3-p^2)/p^n,・・・,p^-p^2, 1-1/p
時枝の決定番号では、見ての通り、nが大きくなっても
減衰しません（下記「裾の重い分布」ご参照）
こういう分布で、ｄ→∞ になると
なので、ｄ→∞で確率論における確率測度（probability measure ）（例えば下記重川「定義1.3」（特にP(Ω
954:)＝1）など）を満たさなくなるのです https://ja.wikipedia.org/wiki/%E8%A3%BE%E3%81%AE%E9%87%8D%E3%81%84%E5%88%86%E5%B8%83 裾の重い分布 (抜粋) 裾の重い分布あるいはヘヴィーテイルとは、確率分布の裾がガウス分布のように指数関数的には減衰せず[1]、それよりも緩やかに減衰する分布の総称。 また類似の用語に、ファットテイル、裾の厚い分布、ロングテール、劣指数的(subexponential)などがある。 スレ74 https://rio2016.5ch.net/test/read.cgi/math/1564659345/72- https://www.math.kyoto-u.ac.jp/~ichiro/lectures/2013bpr.pdf 2013年度前期 確率論基礎 講義ノート 重川一郎 京都大学大学院理学研究科数学教室 P6 定義1.3 可測空間（Ω,F）上の測度PでP(Ω)＝1 を満たすものを確率測度（probability measure ）という。
955:現代数学の系譜 雑談 古典ガロア理論も読む
19/09/08 17:54:31.83 KY2miv9A.net
>>843
＞無限列は「これ以上分けられない」のですよね？
分けられますよ
下記の確率論 Makoto Mori 日大 2013
P12 例 1と例 2 ご参照
（＾＾
URLﾘﾝｸ(www.math.chs.nihon-u.ac.jp)
Makoto Mori
URLﾘﾝｸ(www.math.chs.nihon-u.ac.jp)
確率論 Makoto Mori 日大 2013
P12
第 1 章 確率空間
例 1 An = {ω ∈ {0, 1}^N : ωn = 1} とおけば，P(An) = 1/2 は，Borel?Cantelli
の (2) をみたす．したがって，確率 1 で硬貨投げは表が無限回現れる．
例 2 Akn = {{0, 1}^N : ωn = ・ ・ ・ = ωn+k?1 = 1} とおけば，P(Akn) = 1/2^k は，
Borel?Cantelli の (2) をみたす．したがって，確率 1 で硬貨投げは表が連続 k
回が無限回現れる．確率 1 の集合の可算交わりは確率 1 なので，いくらでも
長い連が確率 1 で現れる．
P28
第 3 章 確率変数
例 4 X1, X2, . . . を独立な硬貨投げとする．
例 5 X1, X2, . . . を独立な硬貨投げとする．
956:現代数学の系譜 雑談 古典ガロア理論も読む
19/09/08 18:09:43.41 KY2miv9A.net
>>870
ピエロちゃんじゃないのかね？
もし、違ったら、ご容赦
（まだ疑念は残るが）
なお、”ピエロ”の定義は、>>2ご参照
(引用開始)
”あなたは「自然数論の真偽の定義」を示せていませんね
要するにあなたは論文を理解できないにもかかわらず
論文の著者を無条件に信じた愚か者ですね”
(引用終り)
ご冗談でしょｗ
貴方は、どんなに偉い人かしらないが
ただの １３２人目の素数さん＝ID:bH+0Hw/zでしょ
いや、別に、数学を偉さで判断しようとは思わないが
あなたは、前原昭二先生の 1979の投稿論文（下記）が間違っていると言いたいわけ？？ｗｗ（＾＾
この5CHのガロアスレで、言いたいわけ？ｗ
議論の場所を間違えていませんか？
自分の蘊蓄を語りたいの？
なら論文投稿したら？
それとも精神科を紹介しましょうか（＾＾
参考（>>802）
URLﾘﾝｸ(www.jstage.jst.go.jp)
自然数論 の無 矛盾性証明の必要性
前原昭二 筑波大学数学系 科学基礎論研究 Vol.14 1979
（>>821）
URLﾘﾝｸ(ja.wikipedia.org)
論理学者
(抜粋)
前原昭二
URLﾘﾝｸ(kotobank.jp)
コトバンク
前原昭二（読み）まえはら しょうじ デジタル版 日本人名大辞典+Plusの解説
1927－1992 昭和後期-平成時代の数学者。
昭和2年10月30日生まれ。
38年東京教育大教授となる。
52年筑波大教授。
55年東京工業大教授。
63年放送大教授。
数理論理学の研究で知られる。平成4年3月16日死去。64歳。
東京出身。東大卒。著作に「数学基礎論入門」「記
957:号論理入門」など。 http://7shi.hateblo.jp/entry/2018/11/02/222443 七誌の開発日記 2018-11-02 (抜粋) ブルバキ数学原論日本語訳の巻番号 リスト 1．1968年『集合論 1』前原昭二訳（第1章、第2章）
958:現代数学の系譜 雑談 古典ガロア理論も読む
19/09/08 18:14:00.15 KY2miv9A.net
>>877 タイポ訂正
URLﾘﾝｸ(www.jstage.jst.go.jp)
自然数論 の無 矛盾性証明の必要性
↓
自然数論の無矛盾性証明の必要性
妙に、半角スペースが入るんだよね（＾＾
959:１３２人目の素数さん
19/09/08 18:16:51.87 cMOAtiJl.net
>>875
まったく的外れ
100個の決定番号は定数なので分布を考えること自体が無意味
960:現代数学の系譜 雑談 古典ガロア理論も読む
19/09/08 18:22:47.69 KY2miv9A.net
>>877 補足
自然数論なんて
>>793で
"自然数論は自然数全体の集合の存在を前提した理論ではない"
を茶化すために
>>802で
前原昭二先生を引用しただけで
集合を外れた「自然数論」に深入りするつもりはないわけよｗ（＾＾
こちらとしてはね
そんなものは、いまの大学数学科の教程にないし
オワコンでしょう？ 違いますか？（＾＾；
でも、数学史として、こういう議論もあったということは
知っておいても良いとは思いますよ
（参考）
URLﾘﾝｸ(www.jstage.jst.go.jp)
自然数論の無矛盾性証明の必要性
前原昭二 筑波大学数学系 科学基礎論研究 Vol.14 1979
961:１３２人目の素数さん
19/09/08 18:24:13.63 cMOAtiJl.net
100列及び対応する100個の決定番号は定数
そのいずれを選ぶかが確率変数
サルのナンセンスな当てずっぽう戦略と違い時枝戦略では上記の通り
サルに数学は無理
962:１３２人目の素数さん
19/09/08 20:40:46.59 7MS+nwFK.net
>>876
> 分けられますよ
> 例 1と例 2 ご参照
> ω ∈ {0, 1}^N
ωは0と1からなる無限数列なので分けてないです
> An = {ω ∈ {0, 1}^N : ωn = 1}
はn番目が1であるような0と1からなる無限数列ω
> Akn = {{0, 1}^N : ωn = · · · = ωn+k－1 = 1}
は以下のことだが
> A^k_n = {ω ∈ {0, 1}^N : ωn = · · · = ω(n+k－1) = 1}
はn番目から1が連続k回現れる0と1からなる無限数列ω
963:現代数学の系譜 雑談 古典ガロア理論も読む
19/09/08 22:34:37.10 KY2miv9A.net
>>875 訂正と追加
訂正
p=1/p^n,1/p^(n-1),(p^2-p)/p^n,(p^3-p^2)/p^n,・・・,p^-p^2, 1-1/p
↓
p=1/p^n,1/p^(n-1),(p^2-p)/p^n,(p^3-p^2)/p^n,・・・,1/p-1/p^2, 1-1/p
追加
(引用開始)
ｄは決定番号
*)は、場合の数で、全体ではp^n
これを確率分布に直すと
d= 1, 2, 3, 4 , ・・・, n-1, n
p=1/p^n,1/p^(n-1),(p^2-p)/p^n,(p^3-p^2)/p^n,・・・,1/p-1/p^2, 1-1/p
(引用終り)
ここ分かると思うが
s = (s1，s2，s3,・・・,sn) （問題の数列）
r = (r1，r2，r3,・・・,rn) （代表の数列）
差を取ると
s-r = (s1-r1，s2-r2，s3-r3,・・・,sn-rn)
決定番号dなら、d番目から両者が一致して0になります。
それで、上記の分布で分かることは、d=1とか2とか小さい値の確率は小さいのです
確率的には、d=nとなる場合が、一番確率が大きいのです
それで、入れる数p→∞と大きくすると
d=n の確率 1-1/p→1
d=n以外の確率 (p^3-p^2)/p^n（など）→0
となります
なので、d=n以外の確率は0になるのです
d=n以外の場合を論じるのは、確率の0場合を論じていることになります。
確率の0場合に、二つの決定番号でどちらが大きいかなどと言っているのが、時枝記事の手法です
964:１３２人目の素数さん
19/09/08 23:17:49.25 cMOAtiJl.net
>>883
無限個の決定番号の中での割合を論じても無意味
なぜなら時枝解法で大小比較の対象となる決定番号は100個だから
サルの言いがかりは無意味
965:現代数学の系譜 雑談 古典ガロア理論も読む
19/09/09 06:58:55.57 w2gV7wtr.net
>>883 補足
１）有限長の数列
s = (s1，s2，s3,・・・,sn) （問題の数列）
r = (r1，r2，r3,・・・,rn) （代表の数列）
で、入れる数p→∞と大きくすると
決定番号の確率分布は、
d=n の確率1
d=n 以外の確率0
２）上記有限長の数列において
d=n 以外の二つの数 d1,d2をとって
どちらが大きいか d1<d2となる確率
P（d1<d2）＝1/2だとか、うんぬんだとか
それって、上記「d=n 以外の確率0」の中の議論で
それは、殆ど無意味な議論です
３）では、列の長さｎをどんどん長くしていったら？
d=n の確率1
d=n 以外の確率0
は不変で、d=nの箱が、どんどん先頭から遠くへ行く
どこまで遠くへ行っても、先頭からd=n-1までの”確率0”は変わりません
４）で、列の長さｎ→∞の極限を考えたら？
d=nの箱が、どんどん先頭から遠くへ行く
どこまで遠くへ行っても、先頭からd=n-1までの”確率0”は変わりません
有限の二つの数 d1,d2をとって
どちらが大きいか d1<d2となる確率
P（d1<d2）＝1/2だとか、うんぬんだとか
それって、上記「確率0」の中の議論で
それは、殆ど無意味な議論です
（そんなことが起きるのは、”確率0”ですから、それで”数当てが可能”とは言えません）
QED （＾＾
966:１３２人目の素数さん
19/09/09 07:11:51.30 uwfnXwUu.net
>>877
私はあなたがピエロと呼ぶ人物ではありません
>あなたは、前原昭二先生の 1979の投稿論文が間違っていると言いたいわけ？
少なくとも「自然数論の真偽の定義」という言葉で
何をいおうとしてるのかは明確でないですね
>>880
>"自然数論は自然数全体の集合の存在を前提した理論ではない"
>を茶化すために前原昭二先生を引用しただけで
自然数論をご存じないなら黙ったほうがいいですね
見当違いな間違いを書くあなたが恥をかきますよ
967:１３２人目の素数さん
19/09/09 07:15:02.73 uwfnXwUu.net
>>880
＞そんなものは、いまの大学数学科の教程にない
ウソはいけませんね
ありますよ あなたが知らないだけです
＞オワコンでしょう？ 違いますか？
違いますね 現役ですから
968:１３２人目の素数さん
19/09/09 07:26:36.84 uwfnXwUu.net
>>877
以下の新井敏康氏の論文を読むと
前原昭二氏が「自然数論の真偽の定義」でいおうとしていたのは
ε-代入法のことであるらしいと想像される
素人のID:KY2miv9Aには何のことやらチンプンカンプンでしょう
URLﾘﾝｸ(www.jstage.jst.go.jp)
新井 敏康（あらい としやす、1958年 - ）
日本の数学者、論理学者
東京大学大学院数理科学研究科教授
専門は数学基礎論
東京都生まれ
東京大学教養学部基礎科学科卒
筑波大学数学系大学院博士課程修了
理学博士
969:現代数学の系譜 雑談 古典ガロア理論も読む
19/09/09 08:09:28.11 w2gV7wtr.net
>>882
あなたの議論は、無意味だと思う
１）下記のように、標準的な確率論のテキストで、
確率現象、例えば、硬貨投げやサイコロ投げの
無限回の試行が記載されている
２）それによる無限長の数列が記載されている
３）下記の日大テキストのように、無限長の数列の一部を取り出して、確率を論じることは可能
勿論、無限長の数列の一つを取り出して、確率を論じることも可能
４）よって、これらの確率現象による無限長の数列を、時枝に適用すれば良い
参考（>>876）
P12 例 1と例 2 ご参照
URLﾘﾝｸ(www.math.chs.nihon-u.ac.jp)
Makoto Mori
URLﾘﾝｸ(www.math.chs.nihon-u.ac.jp)
確率論 Makoto Mori 日大 2013
P12
第 1 章 確率空間
例 1 An = {ω ∈ {0, 1}^N : ωn = 1} とおけば，P(An) = 1/2 は，Borel?Cantelli
の (2) をみたす．したがって，確率 1 で硬貨投げは表が無限回現れる．
例 2 Akn = {{0, 1}^N : ωn = ・ ・ ・ = ωn+k?1 = 1} とおけば，P(Akn) = 1/2^k は，
Borel?Cantelli の (2) をみたす．したがって，確率 1 で硬貨投げは表が連続 k
回が無限回現れる．確率 1 の集合の可算交わりは確率 1 なので，いくらでも
長い連が確率 1 で現れる．
P28
第 3 章 確率変数
例 4 X1, X2, . . . を独立な硬貨投げとする．
（>>737）
>>730 東大 会田茂樹 PDF
「(3) 無限回のサイコロ投げ
何回も独立に
サイコロ投げを続けることを考える. その試行の結果として、1～6 の数字の無限列が現れる.
この無限列一つ一つが根元事象とみなせる. すなわち
Ω は Ω = ｛ a1, a2, ・ ・ ・ , an, ・ ・ ・) ｜ ai = 1, ・ ・ ,6 ｝」
さらに、追加で会田茂樹 PDF P3 10行目
「なんらかのランダムな現象や試行があり、その結果得られる数値一つ一つが
根元事象を、数値全体が標本空間になっていることを注意しておきます. このランダムな数値が確率変数,
ランダムな数値がどのように分布しているかを表すのが確率分布になります.」
(引用終り)
無限回のサイコロ投げ、１回投げる毎に入れる。それだけです
URLﾘﾝｸ(www.ms.u-tokyo.ac.jp)
数理統計学 会田茂樹 東大
970:１３２人目の素数さん
19/09/09 08:42:40.71 oA3pm0/T.net
>>885
100個の決定番号がどんな自然数だろうと時枝解法は成立する。
なぜなら自然数の基本性質から「100個中単独最大は1個以下」は避けようが無いから。
確率０？
おまえの云う確率とはd(R^N)の中での割合に他ならないが無意味。
なぜなら時枝解法における決定番号の大小比較は {d(s1),...,d(s100)} の中だから。
相変わらずバカ丸出しのサルでした
971:１３２人目の素数さん
19/09/09 09:04:47.60 rjgzRb0t.net
>>889
「無限個まとめて」と「1つずつ」の違いが全く分かっていないようなので
「無限個まとめて」では属する同値類も同時に選択している
逆に言えば同値類の選択は「無限個まとめて」によって行われる
「1つずつ」だけでは同値類は選択できない
理由 : 無限数列の1つの項を変えても同値類は変化しない
有限数列{a1, a2, ... , an}
0で空箱を表すとすれば無限数列{a1, a2, ... , an, 0, 0, ... }
{a1, a2, ... , an, a(n+1), 0, 0, ... }で同値類は変化しない
有限数列から極限をとって無限数列にするというのは
極限値である無限数列が属する同値類を選択するということで
その選択も「無限個まとめて」によって行われる
972:現代数学の系譜 雑談 古典ガロア理論も読む
19/09/09 09:25:26.05 w2gV7wtr.net
>>8
973:86 >私はあなたがピエロと呼ぶ人物ではありません まあ、その言い分を一応は認めます >少なくとも「自然数論の真偽の定義」という言葉で >何をいおうとしてるのかは明確でないですね "「自然数論の真偽の定義」という言葉"? 意味不明。「自然数論の真偽の定義」を、私は使ったことがない （私の引用 >>803にも出てきませんよ。さらに、前原昭二先生のPDFでも、「自然数論の真偽の定義」という言葉は出てきません。いま再度確認しました。 https://www.jstage.jst.go.jp/article/kisoron1954/14/3/14_3_107/_pdf/-char/ja 自然数論の無矛盾性証明の必要性 前原昭二 筑波大学数学系 科学基礎論研究 Vol.14 1979） かつ、私の引用は単に、後の過去ログ検索の便のために便利はキーワード部分をコピペしただけ（多分、それは、前原論文の重要キーワードだと思いますが） >自然数論をご存じないなら黙ったほうがいいですね 笑える。そして、お断りする 貴方は、「自然数論をご存じ」だという？ｗ どうぞ、自由にこのスレで、蘊蓄を語って下さい 私に言えるのは、それだけです。貴方は、只の １３２人目の素数さん＝ ID:uwfnXwUuにすぎない。私に指図する資格と権限はありません（＾＾ どうぞ、自分は「自然数論を知っている」を、証明してください。気の済むままにね。歓迎しますよｗ（＾＾
974:現代数学の系譜 雑談 古典ガロア理論も読む
19/09/09 09:36:51.00 w2gV7wtr.net
>>887
＞そんなものは、いまの大学数学科の教程にない
>ウソはいけませんね
>ありますよ あなたが知らないだけです
はい
2019年あるいは、近年でも良いです
例示願います
>＞オワコンでしょう？ 違いますか？
>違いますね 現役ですから
多くの大学数学科の教程で、「自然数論」はやらないでしょう？ｗ
新井 敏康先生の2019年の主要な研究テーマが、「自然数論」なのですか？
それって、証明ある？ｗ（＾＾；
975:１３２人目の素数さん
19/09/09 09:50:21.88 oA3pm0/T.net
>>889
>無限回のサイコロ投げ、１回投げる毎に入れる。それだけです
「1回投げるごとに入れる」を何回繰り返せば入れ終わるのか答えて下さい
976:現代数学の系譜 雑談 古典ガロア理論も読む
19/09/09 10:01:42.58 w2gV7wtr.net
>>888
>以下の新井敏康氏の論文を読むと
「国立情報学研究所教授の新井紀子は妻[2]」か、なるほど（＾＾
>前原昭二氏が「自然数論の真偽の定義」でいおうとしていたのは
>ε-代入法のことであるらしいと想像される
「あるらしいと想像される」とは、どういう物言いなんですかね
人に、”おまえは理解せず引用している”というお人がｗ（＾＾
そもそも、ε-代入法は、前原昭二氏の論文について書いたことではない（前原昭二氏の論文は、新井氏の参考文献に挙げられていない）
新井氏論文より引用
”Gentzenの証明は,証明図の正規化cut-elimination
と呼ばれる方法によっており,説明には紙幅を要する。
一方,Hilbertがその無矛盾性証明の方法として提案
し,[Ackermann 1940]においてPAに対して実行さ
れたε-代入法(ε-substitution method)の発想は,単
純なものなのでこれについて少し説明する。”
なので、Gentzenの証明の代用として、ε-代入法を説明するとなっていますよ
（Gentzen(1936)は、新井氏、前原氏で共通ではあるけれども）
＞素人のID:KY2miv9Aには何のことやらチンプンカンプンでしょう
”素人”は、正しい
しかし、”チンプンカンプン”でもないみたい
その直前の”ε0-ordering”については、過去ZFC公理系の話題のときに
英文で”ε-ordering”、正確には、∈を利用した順序があり読んだけど
（面倒なので過去ログは探さないが、興味があればどうぞ。10スレくらい過去かな）
その類推で、やりたいことは、なんとなく分かるよ
あと、どんどん蘊蓄書いてください
あなた、面白いわ
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
新井 敏康（1958年 - ）は、日本の数学者、論理学者。東京大学大学院数理科学研究科教授。専門は数学基礎論[1]。国立情報学研究所教授の新井紀子は妻[2]。
東京都生まれ。
(抜粋)
略歴
1958年（昭和33年）- 東京都生まれ。
東京大学教養学部基礎科学科卒。
筑波大学数学系大学院博士課程修了。
2001年- 2007年- 神戸大学大学院自然科学研究科教授。
2019年- 東京大学大学院数理科学研究科教授。
URLﾘﾝｸ(researchmap.jp)
新井 敏康
977:１３２人目の素数さん
19/09/09 10:09:24.61 uwfnXwUu.net
>>892
>まあ、その言い分を一応は認めます
「まあ、その」と「一応は」は削除してください
誠意が
978:感じられません >「自然数論の真偽の定義」を、私は使ったことがない >前原昭二先生のPDFでも、「自然数論の真偽の定義」 >という言葉は出てきません。 あなたがPDFを読んでいないことは明らかですね 「自然数論の真偽の定義」でサーチしただけでは見つかりませんよ 「直観主義的自然数論の基礎づけは, 上述のような常識的解釈だけでは困難である。 ”命題の真偽”に,より精密な”定義”を与えることが必要となる。 そして,それを実行したのが,ゲソツェンによる "自然数論の無矛盾性証明"である。」 ほら、”命題の真偽”と”定義”が出てきたでしょう。 一度でも読んでいれば気づくこと 一度も読んでいないから気づけないのですよ さらに続けます 「ゲーデルが…与えた自然数論の無矛盾性証明も,直観主義的 ”自然数論の命題の真偽”に1つの解釈を与えたものなのである。」 ほら、”自然数論の命題の真偽”が出てきたでしょう。 一度でも読んでいれば気づくこと 一度も読んでいないから気づけないのですよ
979:１３２人目の素数さん
19/09/09 10:16:50.49 uwfnXwUu.net
>>893
＞多くの大学数学科の教程で、「自然数論」はやらないでしょう？
やりますよ
URLﾘﾝｸ(www.ocw.titech.ac.jp)
上記は東工大の「数理論理学」ですが
・第10回 不完全性定理（１）。算術，ゲーデル数，表現可能性。
・第11回 不完全性定理（２）：第１不完全性定理，算術や論理の決定不可能性など。
とあります。
上記の第10回にある「算術」が自然数論のことです。
不完全性定理は、自然数論の定理ですから、
当然自然数論についてその公理系を示します
こんなことは数理論理学を学んだ人なら常識です
980:１３２人目の素数さん
19/09/09 10:20:10.66 uwfnXwUu.net
>>893
＞新井 敏康先生の主要な研究テーマが、「自然数論」なのですか？
あなたはなぜ検索しないのですか？
新井氏の研究は、証明論における順序数解析です
URLﾘﾝｸ(www.ms.u-tokyo.ac.jp)
証明論で扱う体系の中に当然自然数論も含まれます
論理学者で、自然数論について知らない人はいませんよ
論理学における一般常識ですから
981:１３２人目の素数さん
19/09/09 10:33:02.70 uwfnXwUu.net
>>895
>>前原昭二氏が「自然数論の真偽の定義」でいおうとしていたのは
>>ε-代入法のことであるらしいと想像される
>「あるらしいと想像される」とは、どういう物言いなんですかね
前原氏が明確に書かれていないので、
その意図するところを私が想像した
ということです
>そもそも、ε-代入法は、前原昭二氏の論文について書いたことではない
>新井氏論文より引用
あなたは内容を理解していないので
見当違いな引用ばかりしますね
引用するならここでしょう
「次々 に,ε-公理 を正しくしないという意味で誤った値を
正しいもの に訂正していく。こうして,
列S0,S1,...(H-process)が 生成される。
問題は「この列が有限回の後に解を得て停止する」こと
を示すことになる。
[Ackermann 1940]は,適切なH-processを見い出し,
その停止性を,順序数 ε0まで のrecursionにより示した。
これは[Gentzen 1936]で のinfinite descentに還元し得る。」
つまりAckermannの1940年の論文は
論理式のε項の正しい解を得るためのH－Processと
Gentzenの1936年の論文のカット除去のプロセスの
対応を見出したということ
引用するならまず読みましょう
自分が読んで理解できないものを
引用するのは無責任な行為です
982:１３２人目の素数さん
19/09/09 10:36:30.76 uwfnXwUu.net
>>895
蛇足
>「国立情報学研究所教授の新井紀子は妻」か
妻は別人なので関係ないですね
少なくともわけもわからず見当違いなことばかりいう
全くの素人のあなたが嘲笑することではないですね
分かってもいないのに分かったつもりでウソを書くなんて
みっともないですよ 恥を知りましょう
983:１３２人目の素数さん
19/09/09 10:53:14.18 uwfnXwUu.net
URLﾘﾝｸ(togetter.com)
新井紀子発言の真の問題点は、
黒木玄氏の指摘にあるとおり
ゲーデルの不完全性定理における
「人は言葉だけでは絶対にリアティを共有できない」
の「リアリティ」と、その後の「リアリティ」の
意味が繋がらない点にある
984:要するに「子供が言葉を理解しなくなった」という主張の 補強のつもりでゲーデルの不完全性定理を持ち出したのが トンチンカンだということ 論理学者が誰もこのことを指摘しなかったのは残念
985:１３２人目の素数さん
19/09/09 10:57:19.70 uwfnXwUu.net
>>901
誤 「人は言葉だけでは絶対にリアティを共有できない」
正 「人は言葉だけでは絶対にリアリティを共有できない」
986:１３２人目の素数さん
19/09/09 11:04:13.51 uwfnXwUu.net
新井紀子氏に関していえば、ゲーデルの不完全性定理に関する説明は
大した問題ではなく、むしろ「AI vs 教科書が読めない子供たち」の
論旨にある
東ロボ君の失敗から、なぜ唐突に子供が言葉を理解しない
教育問題に結び付くのか全然明確でない
むしろ
「国立Sランクはともかく、
私立ならAランクでもAIにとって代わられるよ」
という事実のほうが重要でしょう
私が見るかぎり、ここの>>1ことID:w2gV7wtは
確実にAIに仕事を奪われるでしょうね
987:１３２人目の素数さん
19/09/09 11:08:47.15 uwfnXwUu.net
蛇足ですが、いまどきの会社には無駄な仕事が多いということなら
David Graeberの”Bullshit Jobs"を読むのが一番ですね
これはまだ日本語訳が出てませんが
”Debt”（負債論）も”The Utopia of Rules”（官僚制のユートピア）も
日本語訳が出たので、いずれ出ることでしょう
988:１３２人目の素数さん
19/09/09 11:11:23.86 uwfnXwUu.net
５つの典型的なBullshit Jobs
① ”Flunkies（太鼓持ち）”
受付係、秘書、ドアマンなど、自分が重要な人物だと思わせるために存在する仕事
② ”Goons（用心棒）”
ロビイスト、企業弁護士、テレマーケター、広報など、雇い主のために相手を攻撃する仕事
③ “Duct Tapers（落穂拾い）”
出来の悪いプログラムの修正など、そもそもあってはならない問題の手直しをする仕事
④ “Box Tickers（社内官僚）”
パフォーマンスマネジャー、社内広報誌のジャーナリスト、休暇のコーディネーターなど、内向きの仕事
⑤ ”Task Makers（仕事製造人）”
中間管理職やリーダーシップの専門家など、無駄な業務を生み出す仕事
>>1様、あなたの仕事はどれですか？
989:現代数学の系譜 雑談 古典ガロア理論も読む
19/09/09 11:13:49.87 w2gV7wtr.net
>>895
>その直前の”ε0-ordering”については、過去ZFC公理系の話題のときに
>英文で”ε-ordering”、正確には、∈を利用した順序があり読んだけど
過去ログにも引用したと思うが、貼る（＾＾
URLﾘﾝｸ(ja.wikipedia.org)
整礎関係
(抜粋)
数学において、二項関係が整礎（せいそ、英: well-founded）であるとは、真の無限降下列をもたないことである。
帰納法と再帰
整礎関係が興味深い重要な理由は、それによって超限帰納法の一種が考えられることにある。すなわち (X, R) が整礎関係で P(x) が X の元に関する何らかの性質であるときに、 P(x) が X の「すべての」元に対して満たされることを示すには、以下を示せば十分である。
x を X の元とするとき、y R x なる全ての y に対して P(y) が真であるならば P(x) は必ず真である。つまり、
このような整礎帰納法 (well-founded induction) は、エミー・ネーターにちなんでネーター帰納法 (Noetherian induction) とも呼ばれることがある[4]。
例
全順序でない整礎関係の例。
・集合を要素とする任意のクラスの集合要素関係 ∈ 。これは正則性公理そのものである。
その他の性質
(X, <) が整礎関係で x が X の元ならば、x から始まる降鎖列は必ず長さ有限だが、これはこのような降鎖の長さが有界であるということを意味しない。
以下のような例を考えよう。X は正の整数全体の成す集合に、どの整数よりも大きな整数ではない新しい元 ω を付け加えた集合とする。このとき X は整礎だが、ω から始まる長さ有限の降鎖列でいくらでも長いものが取れる。なんとなれば、任意の正整数 n に対して
ω, n ? 1, n ? 2, ..., 2, 1
という鎖は長さ n を持つ。
モストウスキーの崩壊補題 (Mostowski collapse lemma) によれば、集合要素関係 (set membership) は普遍的な整礎関係である。
つまり、クラス X 上の集合的な整礎関係 R に対し、クラス C が存在して、(X, R) が (C, ∈) に同型となる。
990:１３２人目の素数さん
19/09/09 11:34:21.11 uwfnXwUu.net
>>895
＞”チンプンカンプン”でもないみたい
＞類推で、やりたいことは、なんとなく分かるよ
分かってないことに気づけず分かった気分になるのは
学習を阻害する最も重要な要因
あなたの場合、言葉を検索しただけでわかった気分になるみたいですね
かなり重症といわざるを得ません
「AI vs 教科書が読めない子供たち」にも
言葉だけに反応して見当違いな回答だす子供
の例がたくさんでてきます
あの子供たちはそもそも
「ああ、試験なんてめんどくさい」
とおもってやってるので、
そんな回答がでるのも理解できますが
自分は数学を理解したい、と思ってるつもりの人が
そういうトンチンカンな回答を出すのを見ると、
この人は本当は数学には興味がなくて、ただ
「数学に興味がある自分、カッコイイ」
としかおもってないんだなと思う
991:１３２人目の素数さん
19/09/09 11:37:13.30 uwfnXwUu.net
キーワードを検索するだけなら、機械でもできます
>>1さんの仕事は、>>905でいえば④か⑤でしょう
まあ、執拗に口答えする習性に関しては
②の可能性もなくはないですがね
992:現代数学の系譜 雑談 古典ガロア理論も読む
19/09/09 13:14:34.31 w2gV7wtr.net
>>896
>「まあ、その」と「一応は」は削除してください
>誠意が感じられません
一時的にでも、コテハンとトリップ付けたらどう？
名無しさんで、日替わりIDで出没して、誠意を求められてもね。それ、どうなんですかね？
成り済ましとどうやって区別しろとｗ（＾＾
>あなたがPDFを読んでいないことは明らかですね
>「自然数論の真偽の定義」でサーチしただけでは見つかりませんよ
意味わからん
前原PDF（>>802）に、その”定義”が、明記されていないのに、それを読み取れといのか？
話は逆。「自然数論の真偽の定義」という、幻を、あなただけ読んだのでは？
それって、数学？（＾＾
URLﾘﾝｸ(www.jstage.jst.go.jp)
自然数論 の無 矛盾性証明の必要性
前原昭二 筑波大学数学系 科学基礎論研究 Vol.14 1979
(引用開始)
「直観主義的自然数論の基礎づけは,
上述のような常識的解釈だけでは困難である。
”命題の真偽”に,より精密な”定義”を与えることが必要となる。
そして,それを実行したのが,ゲソツェンによる
"自然数論の無矛盾性証明"である。」
ほら、”命題の真偽”と”定義”が出てきたでしょう。
(引用終り)
１）引用部分が、前原が意図して書いた「自然数論の真偽の定義」ではない。そういう用語は、前原PDFに無い
２）前原「”命題の真偽”に,より精密な”定義”」ですよね、あなた「自然数論の真偽の定義」とは微妙に違うよ
３）「そして,それを実行したのが,ゲソツェンによる"自然数論の無矛盾性証明"である。」とあるのだから
ここの、”命題の真偽”は、自然数論（内）の真偽ではなく、外部の広く一般の論理における”真偽”でしょ？
４）「自然数論の真偽の定義」という自分独自の用語には、あなたが自身が定義を与えるべき
それ（独自説）を他人に読み取れと、強要すべきではないとおもいますよ
つづく
993:現代数学の系譜 雑談 古典ガロア理論も読む
19/09/09 13:16:58.00 w2gV7wtr.net
>>909
つづき
追伸
・そもそも、”自然数論”の定義というか、それが何を意味するのか？
前原氏は、狭く、ゲンツェンの1936年の意味で
「eine Zahlentheorie (純粋な数論)」で、"自然数論"なる用語によって"純粋な数論"を意味することにするとしている
（なお、「わが国では通常”自然数論"とよび,欧米でも最近はPeano's arithmeticなる用語を当てるようになってきたが,
自然数論にしてもPeano's arithmeticにしも,いずれも集合論的方法を援用するペアノの自然数論を連想させるので,
その意味では
994:適切なる訳語とはいえない。」とある） ・一方、新井敏康氏は、P46 4.GentzenとAckermann で ”G.Gentzen(1936)はfirst order arithmetic, PA(Peano Arithmetic)の無矛盾性証明を得た。 ここでPAはPRAに,「任意(の自然数)」∀x,「存在」∃x を加え,更に数学的帰納法を任意の(1階の)論理式に適用できるように強化した理論である。 その証明は「弱い形のε0までの超限帰納法(infinite descent)」を除いて,完全にPRAで遂行された。” ・そして、新井敏康氏PDFでは、「5. 竹内外史以後」「6. modified Hilbert's program」「6.1. Gentzenの場合＊）」「6.2.無矛盾性証明?」 とつづく。さすれば、新井敏康氏PDFの立場は、狭くゲンツェンの1936年の意味の”自然数論"を超えて 新井敏康氏は、より高い視点から、数学基礎論を論じたものではないだろうか？ （数学基礎論が現役であることは認めるが、狭い意味の”自然数論"は、決して現役とは思わないよｗ） ＊）注：新井敏康氏PDFで 6.1. Gentzenの場合 「では何故Gentzenの結果がかつて重要なものと認識された(例p.139in[Kleene 1986])のだろうか?」の一文がある つまり、前原昭二氏PDFは、1979年当時、「Gentzenの結果がかつて重要なものと認識された」時代のPDFと読めなくもない そういう意味では、時代が進んで、前原昭二氏PDFが批判的に読まれるべきという主張なら分かる だが、>>836は、言っている意味がわからんぞ～ｗ（＾＾ どうぞ、存分に蘊蓄語って下さい 余白が足りないなら、次スレ立てますからｗ（＾＾ つづく
995:現代数学の系譜 雑談 古典ガロア理論も読む
19/09/09 13:18:34.22 w2gV7wtr.net
>>910
つづき
（参考）
URLﾘﾝｸ(www.jstage.jst.go.jp)
無矛盾性証明について 新井敏康*神戸大学自然科学研究科 科学基礎論研究 2007
URLﾘﾝｸ(ja.wikipedia.org)
数学基礎論
(抜粋)
歴史
ヒルベルトは、数学を記号によるゲームとみなして無矛盾性を証明する形式主義によるヒルベルト・プログラムを提唱したが、ゲーデルの不完全性定理によって、その実現の不可能性が示された。
また、数論を展開するのに十分な体系に見えるペアノの公理系では証明できないグッドスタインの定理など、特定の公理系では証明も反証もできない問題が数多く見いだされた。
このように一定の結論が得られた現在では、数学基礎論は本来の意味していた数学の基礎づけの活動から離れ、広義の数理論理学、特に集合論、モデル理論、証明論、計算理論等の数学の総称に変化している。
影響
また、数学を人間の精神活動から離れて、形式主義的にかつ有限の立場から検証しなおすことにより、計算機科学の基礎と発展に大きく寄与した。
たとえば、今まで自明なものとして受け入れられていた多くの数論的関数を有限の立場から考察することにより、アルゴリズムの研究に直接の影響を与えた。
プログラミング言語で必ず登場するデータ型の形式的宣言や論理構造、関数の概念は遠くは数学基礎論に由来する。ゆえに、数学基礎論で活躍したフォン・ノイマンやチューリングが後に計算機科学において先駆的な役割を果たしたのも、偶然ではない。
そのような意味で数学基礎論は単なる机上の空論ではなく、むしろコンピュータをインフラの一つとする現代社会の形成に多大な影響を与えたといえる。
(引用終り)
以上
996:１３２人目の素数さん
19/09/09 14:08:32.57 uwfnXwUu.net
>>909
あなたこそコテハンとトリップはやめたらいかがですか？
戸籍上の実名で書き込めないなら同じことですから
>>あなたがPDFを読んでいないことは明らかですね
>意味わからん
意味が分からないのはあなたの以下の書き込みですね
>前原「”命題の真偽”に,より精密な”定義”」ですよね、
997: >あなた「自然数論の真偽の定義」とは微妙に違うよ 文字面が一致しないと同じとみなさないなんて 今時のAIでもそこまで低性能ではないですよ >ここの、”命題の真偽”は、自然数論（内）の真偽ではなく、 >外部の広く一般の論理における”真偽”でしょ？ いいえ そもそも一般の論理における恒真式、恒偽式の範囲は 理論における真の式、偽の式より狭いことは常識ですが あなたはご存知ないようですね >「自然数論の真偽の定義」という自分独自の用語には、 >あなたが自身が定義を与えるべき まず自然数論における真偽の定義は、独自用語ではありません モデル理論をまったく存じないあなたが、知らないだけでしょう
998:１３２人目の素数さん
19/09/09 14:14:40.75 uwfnXwUu.net
>>910
自然数論の定義は数理論理学の教科書にありますからご覧ください
知りもせずに見当違いなことかいてもあなたが恥かくだけですよ
999:１３２人目の素数さん
19/09/09 14:17:17.39 uwfnXwUu.net
>>911
あなたは無矛盾性証明を「無矛盾性を保証するために必要なもの」
と思っているようですが、今時そんな発想で研究する人はいませんよ
おいくつだか知りませんが あなたの知識は昭和時代のものであって
もう平成も終わった令和の時代では完全に時代遅れです
1000:１３２人目の素数さん
19/09/09 14:18:37.35 uwfnXwUu.net
ついでにいうと、昭和とか平成とか令和とかいうのも
日本とかいう島国の土民が使う下らぬ風習
1001:１３２人目の素数さん
19/09/09 14:25:04.36 uwfnXwUu.net
>>1の知っている数学は高卒程度と思われる
一方この板に書き込まれる数学は
大体数学科の専門課程（３年以上）レベル
だから全然足りない
1002:１３２人目の素数さん
19/09/09 14:28:49.30 uwfnXwUu.net
＞最近、AIと数学の関係が気になって、その関係の記事を集めています
AIについて知りたければ数学板でなく別の板にいくことをお勧めします
高卒程度の数学の知識でもなんとかなるでしょう
別に数学者になるわけじゃないですからね
1003:１３２人目の素数さん
19/09/09 14:34:06.98 uwfnXwUu.net
ちなみに東ロボ君は量化子消去法とか
結構難しい数学（数理論理学）を使ってますね
URLﾘﾝｸ(scienceandtechnology.jp)
ただ、これは数学の問題を解く以外では必要ない技なんで
多くのAI研究者の関心事ではないでしょうね
1004:１３２人目の素数さん
19/09/09 14:37:05.31 uwfnXwUu.net
充足可能性問題（SAT問題）を解くアルゴリズムは
より一般的な利用価値がありそうですけどね
しかし>>1の人がこういうことについて
ちょっとでも語ってるのを見たことないので
きっと視線が見当違いな方向に向いてるんでしょう
勉強する努力を避けてるみたいだし
もう齢で本を読むのもキツイのかもしれませんね
それなら数学なんてもう諦めて、もっと楽な趣味を見つけましょう
1005:１３２人目の素数さん
19/09/09 15:42:11.52 uwfnXwUu.net
1がAIについて知りたいなら情報学板でも行けば？
URLﾘﾝｸ(rio2016.5ch.net)
1006:現代数学の系譜 雑談 古典ガロア理論も読む
19/09/09 15:48:58.70 w2gV7wtr.net
>>897
(引用開始)
＞多くの大学数学科の教程で、「自然数論」はやらないでしょう？
やりますよ
URLﾘﾝｸ(www.ocw.titech.ac.jp)
上記は東工大の「数理論理学」ですが
・第10回 不完全性定理（１）。算術，ゲーデル数，表現可能性。
とあります。
上記の第10回にある「算術」が自然数論のことです。
(引用終り)
笑えますｗ（＾＾
「自然数論」の定義は？ｗ（＾＾
（>>910より）前原氏は、狭く、ゲンツェンの1936年の意味で使っていますよｗ
”ゲーデル数，表現可能性”は、ゲンツェン 1936には無いでしょ、多分（読んでないけど年代的にね）
”ゲーデル数，表現可能性”は、ゲンツェン 1936より後でしょう？（＾＾
そして、URLを開くと
”教科書 鹿島亮 『数理論理学』 朝倉書店 (ISBN: 978-4-254-11765-3) ”となっていますよ
その講義は、「自然数論」ではなく、
『数理論理学』じゃないのでしょうかｗ（＾＾
『数学基礎論』とも、表現すると思いますけどね
（参考）
URLﾘﾝｸ(www.nippyo.co.jp)
キューネン数学基礎論講義 ケネス・キューネン 著 藤田 博司 訳 日本評論社 2016
1007:１３２人目の素数さん
19/09/09 15:51:23.40 Zxe0XtIu.net
05053577600
1008:現代数学の系譜 雑談 古典ガロア理論も読む
19/09/09 15:59:33.92 w2gV7wtr.net
>>898
(引用開始)
あなたはなぜ検索しないのですか？
新井氏の研究は、証明論における順序数解析です
URLﾘﾝｸ(www.ms.u-tokyo.ac.jp)
1009:証明論で扱う体系の中に当然自然数論も含まれます 論理学者で、自然数論について知らない人はいませんよ 論理学における一般常識ですから (引用終り) 笑えます。そのURLを開くと、下記 「研究分野 数学基礎論」「著書 数学基礎論 岩波書店(2011)」とあるじゃないですか！ｗ 「学会 科学基礎論学会」 「自然数論」という言葉は出てこないｗ（＾＾ 「基礎論」でしょ！ｗ https://www.ms.u-tokyo.ac.jp/teacher/tarai.html 新 井 敏 康 (ARAI Toshiyasu) 講 座 離散数理学大講座 教授 研究分野 数学基礎論 研究テーマ 証明論 研究概要 証明論は数学における証明を対象にしています。その中で主に順序数解析を研究しています。これは公理系に対して順序数を結びつけてその公理系の内部に潜む構造を解き明かそうとする分野です。 主要論文 Intuitionistic fixed point theories over set theories,Arch. Math Logic 54(2015), 531-553 Lifting proof theory to the countable ordinals: Zermelo-Fraenkel set theory,Jour. Symb. Logic 79(2014), 325-354 Proof theory of weak compactness, Jour. Math. Logic 13(2013), 1350003 Proof theories of ordinals I: recursively Mahlo ordinals, Ann. Pure Appl. Logic 122(2003), 1-85 Ordinal diagrams for recursively Mahlo universes, Arch. Math. Logic 39(2000), 353-391 著書 計算とは何か 東京図書(2009)（新井紀子と共著） 数学基礎論 岩波書店(2011) 集合・論理と位相 東京図書(2016) 学会 日本数学会、 Association for Symbolic Logic、 科学基礎論学会 受賞 日本数学会秋季賞(2003)
1010:現代数学の系譜 雑談 古典ガロア理論も読む
19/09/09 16:10:20.18 w2gV7wtr.net
>>899
(引用開始)
引用するならまず読みましょう
自分が読んで理解できないものを
引用するのは無責任な行為です
(引用終り)
お断りしますｗ（＾＾
このスレでは、私がスレ主です
テンプレ>>1をお読みください（＾＾
「スレ主の趣味で上記以外にも脱線しています。ネタにスレ主も理解できていないページのURLも貼ります。関連のアーカイブの役も期待して。
話題は、散らしながらです。時枝記事は、気が向いたら、たまに触れますが、それは私スレ主の気ままです。」
ってことです
そもそも、５CHになにを期待していますか？ 学会ごっこ？ 来る場所を間違えている（＾＾
無責任？ 責任は読む人にあります。PDFのURLを示している。各人が自分の責任で読めばいいだけのこと
ここは、授業料を取る有料サイトではありませんよ。勘違い勘違い
（５CHに対する幻想か妄想かｗ）
1011:１３２人目の素数さん
19/09/09 16:14:13.62 uwfnXwUu.net
>>921
>笑えます
虚勢は恥ずかしいですね
>「自然数論」の定義は？
数理論理学の本にありますよ
ゲンツェンがどうとかいってますけど
そこは別に変わらないですよ
>「自然数論」ではなく『数理論理学』じゃないのでしょうか
鹿島氏の「数理論理学」でも
当然自然数論について定義してますよ
読めばわかりますよ
数理論理学の中身も知らずに
見当違い言いがかりをつけるのは
恥ずかしいだけですよ
1012:１３２人目の素数さん
19/09/09 16:17:01.28 uwfnXwUu.net
>>923
＞笑えます
あなたは反論できなくなると笑うクセがあるようですね
みっともないのでやめたほうがいいですよ
＞「自然数論」という言葉は出てこない
＞「基礎論」でしょ
数学基礎論（数理論理学）で自然数論を扱うのは常識ですよ
あなたが素人だから知らないだけでしょう
1013:現代数学の系譜 雑談 古典ガロア理論も読む
19/09/09 16:19:08.78 w2gV7wtr.net
>>900
>>「国立情報学研究所教授の新井紀子は妻」か
>妻は別人なので関係ないですね
それ、重要情報でしょｗ
だから、wikipedia に入っているのですよ
私ら、ミーハーですから、旦那の顔を見たことは無いが
新井紀子さん、NHKとかいろんなTVで見ましたよ
本も出されている。ベストセラーを
＞分かってもいないのに分かったつもりでウソを書くなんて
それあなた
「自然数論」？ いま、その名前で教える大学数学科なし
「自然数論」？ いま、その名前で出版される書籍なしｗ
2019年の常識を知らず、古い「自然数論」を振り回す
結構ですよ、面白いです。どんどん蘊蓄を頼んます（＾＾
1014:１３２人目の素数さん
19/09/09 16:22:28.46 uwfnXwUu.net
>>924
>>引用するならまず読みましょう
>>自分が読んで理解できないものを
>>引用するのは無責任な行為です
>お断りします
道徳心のかけらもないようですね
>このスレでは、私がスレ主です
誰であろうと、人間であれば当然なすべきことがあります
それができないなら人間ではないということです
>無責任？ 責任は読む人にあります。
いいえ 全責任は引用したあなたにあります
あなたが理解していなければあなた一人が非難されるのは当然です
>各人が自分の責任で読めばいいだけのこと
人間として間違っています
書く人に全責任があります
読む人に責任を負わせる発言は全くの詐欺ですね
1015:１３２人目の素数さん
19/09/09 16:25:30.78 uwfnXwUu.net
>>927
>>妻は別人なので関係ないですね
>それ、重要情報でしょ
いいえ ここでは不必要な情報です
>だから、wikipedia に入っているのですよ
wikipediaは誰でも書けるので、つまらぬことを書く人もいます
書くのは自由ですが、引用する際に全部引用するのは馬鹿のすることでしょう
>私ら、ミーハーですから
数学に興味もないくせに
数学を語るとカッコイイと勘違いしてる
変質者は出て行ってもらえますか？
迷惑ですから
1016:１３２人目の素数さん
19/09/09 16:30:25.84 uwfnXwUu.net
>>927
＞「自然数論」？ いま、その名前で教える大学数学科なし
＞「自然数論」？ いま、その名前で出版される書籍なし
＞2019年の常識を知らず、古い「自然数論」を振り回す
キチガイが発狂してますね
昔から「自然数論」という名前の講義も書籍もないですよ
数理論理学の中で自然数論について扱っているのですから
大学の数学科で数学基礎論もしくは数理論理学と名の付く
講義を受けたことがあるなら、皆知っていることです
だいたい内容は述語論理におけるゲーデルの完全性定理と
自然数論におけるゲーデルの不完全性定理ですから
あなたは数学科出身ではないから上記の常識を知らずに
見当違いなことばかり書いてますが実に恥ずかしいですよ
あなたのいってることは2019年の現在においても
完全な誤りであり嘘です いいかげん恥を知りましょう
1017:現代数学の系譜 雑談 古典ガロア理論も読む
19/09/09 16:34:52.50 w2gV7wtr.net
>>901
あ、それ URLﾘﾝｸ(togetter.com)
面白いですね～
あなたは、なるほど、ピエロ（>>2）とは別人みたいですね
ピエロには、そのセンスないわ（＾＾
＞論理学者が誰もこのことを指摘しなかったのは残念
論理学者は、みんな大人でしょ
「ゲーデル」という数学では超有名人を
いったい一般人がどれほど知っているのか？
それが分かっているから、無益な論争をしないだけでしょうね
旦那（新井敏康）と学会で論争するならともかくもｗ（＾＾
1018:１３２人目の素数さん
19/09/09 16:35:45.40 uwfnXwUu.net
数学についてよく知らず、しかも学ぶ意欲もないのに
数学がカッコイイと思って、語りたがる人は昔からいます
最近だと、森田真生とかでしょうか
彼のいってることはだいたい数学と無関係なので
詐欺師と呼んでいいと思います
彼がなにかというと岡潔をひきあいにだすのも如何わしいです
岡潔は数学についてはともかく、それ以外の件については
実におかしなことしかいいませんから
1019:１３２人目の素数さん
19/09/09 16:44:26.10 uwfnXwUu.net
>>931
新井紀子の発言について、論理学者が非難してるのは
「リアリティ」という未定義の言葉で語ってる点でしょう
永島孝氏のいうようにモデルの範疇性についていってるのだろう
と推察することはできますが、それは知ってる人だからわかることで
知らない人にはわかりようがありませんからね
ただ、真の問題はなぜそんな物言いをしたのか？という点にあります
そこは論理学の専門的な話とは別なので、論理学の立場でどうこういっても
意味がないと考えます
＞論理学者は、みんな大人でしょ
＞「ゲーデル」という数学では超有名人を
＞いったい一般人がどれほど知っているのか？
＞それが分かっているから、無益な論争をしないだけでしょうね
馬鹿丸出しの見当違いな憶測は口にするだけ恥ずかしいですよ
学者ほど論争好きな人種はいませんよ
彼らは論争こそが仕事ですから
どんな論争も彼らにとっては有益です
少なくともそれで論文が書けますからね
1020:現代数学の系譜 雑談 古典ガロア理論も読む
19/09/09 16:53:22.62 w2gV7wtr.net
>>907
>分かってないことに気づけず分かった気分になるのは
>学習を阻害する最も重要な要因
そういう人もいますけど
それ、レベル低い人か、あるいは大天才ですね
例えば、いま貴方が使っている5CHネットの掲示板
A）全てを理解してから使いましょう
B）分からないところがあっても、使いながら、必要なところを理解しましょう
２択問題です
A）タイプの人いますよね
でも、現代社会では、A）＋B）のミックス戦略が必要じゃないですかね？
天才は、A）で普通以上にやれる！
でも、凡人はA）＋B）でしょう
で、自分の専門（プロとして負けない部分）は、選択肢A）かも
でも現代数学の範囲は広いから、全分野でA）は難しい
凡人なのに、A）しかできない人、います（＾＾
しかし、低レベルのままです
英語で、自分で”英語使わずに”上達しようとして、英文法を完璧に理解しようとする人ですね
1021:現代数学の系譜 雑談 古典ガロア理論も読む
19/09/09 16:56:20.89 w2gV7wtr.net
>>908
＞まあ、執拗に口答えする習性に関しては
”執拗に口答え”ねー
昔、小学校か中学で教えていましたか？
”口答え”ねー
多分、大学教官で、”口答え”という言葉を使う人はいないでしょうね
まあ、どんどん、「自然数論」の蘊蓄をお願いします
面白い人ですね
1022:１３２人目の素数さん
19/09/09 17:05:52.55 uwfnXwUu.net
>>934
＞A）全てを理解してから使いましょう
＞B）分からないところがあっても、使いながら、必要なところを理解しましょう
あなたの場合は
C)全然わからなくても、とにかくコピペすれば、わかった風な顔ができる
というだけですから論外です
あなたの戦略は詐欺師のものです
しかも自分自身を騙しているので、全然数学が学べません
多分英語もロクに話せないでしょう
そのくせボディトークで通じると
「俺の「英語」が通じた」と言い張る
こういう人は「失敗」しないから
向上する動機がなくしたがって全然進歩しません
1023:１３２人目の素数さん
19/09/09 17:07:47.78 uwfnXwUu.net
>>935
＞昔、小学校か中学で教えていましたか？
いいえｗ
あなたは小学校でも中学校でも教師に
「執拗に口答えする」といわれたんでしょうね
私はそんなことはありませんでしたよ
1024:現代数学の系譜 雑談 古典ガロア理論も読む
19/09/09 17:09:35.19 w2gV7wtr.net
>>912
>あなたこそコテハンとトリップはやめたらいかがですか？
>戸籍上の実名で書き込めないなら同じことですから
5CH初心者？ 数学板以外では、IDの無い掲示板もあります
で、IDは、日替わりなんです。明日は、別のIDになります
”コテハンとトリップ”は、ペンネームですよ（＾＾
(引用開始)
>前原「”命題の真偽”に,より精密な”定義”」ですよね、
>あなた「自然数論の真偽の定義」とは微妙に違うよ
文字面が一致しないと同じとみなさないなんて
今時のAIでもそこまで低性能ではないですよ
(引用終り)
面白い人だね
数学における定義は、相手が勝手に趣旨をくんで読み取るものですか
初耳ですよ
あなたは、そんな数学をやってきたのですか？（＾＾
「定義は？」と聞かれて、定義が書かれていない論文を渡して、「これを嫁め、おまえはＡＩか！」ですかねｗ（＾＾
>>ここの、”命題の真偽”は、自然数論（内）の真偽ではなく、
>>外部の広く一般の論理における”真偽”でしょ？
>いいえ
>まず自然数論における真偽の定義は、独自用語ではありません
へへー、じゃ、両者の差
”命題の真偽”、自然数論（内）の真偽と
外部の広く一般の論理における”真偽”と
の差を、定義からきちんと書いて見て
1025:１３２人目の素数さん
19/09/09 17:11:21.26 uwfnXwUu.net
ID:w2gV7wtrは
「自分は数学が分かっている」
といいたいためだけに書き込みしている点で
実に恥ずかしい存在だといわざるを得ません
おそらく、人生において何も自慢できることがなかったのだろう
と思われますが、こんなところで詐欺トークしても意味ないので
もっとましな趣味を見つけて、健全な老後を送ってください
1026:１３２人目の素数さん
19/09/09 17:14:30.46 uwfnXwUu.net
>>938
IDは根本的には必要ないですね
IDは日替わりで結構でしょう
そもそも複数の発言の一貫性を確認したくなるほど
有意義なものであるなら、こんなところには書きませんよ
あなたは粋がってコテハンとトリップをつかってるみたいですが
間違いまくりで恥をさらしてるだけなのでやめたほうがいいですよ
1027:現代数学の系譜 雑談 古典ガロア理論も読む
19/09/09 17:15:18.30 w2gV7wtr.net
>>918
東ロボ君 URLﾘﾝｸ(scienceandtechnology.jp)
それ、ちょっと面白いね
そういう蘊蓄たのんます（＾＾
1028:１３２人目の素数さん
19/09/09 17:16:59.48 uwfnXwUu.net
>>938
＞数学における定義は、相手が勝手に趣旨をくんで読み取るものですか
この件に関しては全くの見当違いですね
あなたが文章を読んでなかったのが悪いということです
1029:１３２人目の素数さん
19/09/09 17:19:04.22 uwfnXwUu.net
>>938
>”命題の真偽”、自然数論（内）の真偽と
>外部の広く一般の論理における”真偽”と
>の差を、定義からきちんと書いて見て
論理学の教科書でモデルについて書かれたところを読みましょう
読んで理解できないなら、そもそもあなたには論理が分からない
ということですから何をやっても無駄でしょう
1030:１３２人目の素数さん
19/09/09 17:21:29.33 uwfnXwUu.net
>>941
＞それ、ちょっと面白いね
無理しなくていいですよ
あなたには一生チンプンカンプンですから
もっと身の丈にあった趣味をみつけましょう
大して考えなくても感覚だけでできることがいいですね
あなたは考えることが嫌いのようですから
1031:現代数学の系譜 雑談 古典ガロア理論も読む
19/09/09 17:23:22.74 w2gV7wtr.net
>>920
> 1がAIについて知りたいなら情報学板でも行けば？
>URLﾘﾝｸ(rio2016.5ch.net)
幻想でしょ。笑える
5ch 掲示板に何を期待しているの？（＾＾
5ch 掲示板って落書きですよｗ
あなたが、ガンガン書いているスレがあったら、教えて下さい
見に行きます
それだけ書けるなら、数学板に自分でスレ立てたら？（＾＾
「大体数学科の専門課程（３年以上）レベル」？
そんなスレがこの数学板にあるのか？
ＩＵＴは、定期巡回していますが、それ以外ではどこにｗ
1032:１３２人目の素数さん
19/09/09 17:24:02.51 uwfnXwUu.net
ID:w2gV7wtrは趣味とかないんですか？
趣味がないとこういうところで
くだらない書き込みして
人生を終わることになりますよ
とにかく趣味をみつけましょうね
こんなところで恥ずかしい書き込みして
人生終わるとか最低最悪ですよ
私があなたの息子ならこんな父親は持ちたくありませんね
1033:現代数学の系譜 雑談 古典ガロア理論も読む
19/09/09 17:27:05.94 w2gV7wtr.net
>>928
＞道徳心のかけらもないようですね
笑えますね、本当に
５ＣＨ初心者？
落書きに道徳心のかけら？
来る場所間違っているよ
そもそも、この数学板にスレがいくつある？
いま数えると707ある
道徳心のかけらのスレを探して、そちらにどうぞ（無いと思うけどねｗ）
1034:１３２人目の素数さん
19/09/09 17:27:18.23 uwfnXwUu.net
>>945
＞5ch 掲示板って落書きですよｗ
数学板をニュース速報板とかと勘違いしてるようですね
あなたは５ｃｈ以外の趣味がないのですか？
それはいけませんね 健全な趣味を持ちましょう
少なくとも恥ずかしい最期を遂げたくないならそうしたほうがいい
1035:１３２人目の素数さん
19/09/09 17:31:50.63 uwfnXwUu.net
>>947
＞笑えますね、本当に
無理に笑おうとすると、鬱病になりますよ
＞５ＣＨ初心者？
＞落書きに道徳心のかけら？
＞来る場所間違っているよ
まず、５ｃｈは落書きの場所だというのはあなたの妄想です
すくなくとも他の人はあなたほど恥知らずではありません
あなたが人生の敗北者であることは想像がつきます
しかしこんなところで無暗に数学関係の記事をコピペしても
人生の勝者にはなれません むしろ恥ずかしいだけです
あなたが今後の人生を有意義に過ごしたいなら
ここへの無意味な書き込みはやめたがいいですね
ここはあなたがいなくても他の人が有意義に使いますから
何も心配することはありません
数学なんてあなたには理解不能ですから忘れましょう
1036:１３２人目の素数さん
19/09/09 17:35:39.48 uwfnXwUu.net
ID:w2gV7wtrは完全に数学板依存症になってますね
数学板の自分の立てたスレに数学情報を書き込むことで
「俺は数学が分かってる！」と思い込んでいい気分になる
ようです
でも、はっきりいってそれは自分一人の勘違いです
他の人は書き込みをみて
「ああ、また病気の人が書き散らかしてる」
と思うだけ
こんなことをしても病気は治りません
今すぐ書き込みをやめましょう
そして空いた時間をもっと有意義なことに使いましょう
1037:現代数学の系譜 雑談 古典ガロア理論も読む
19/09/09 17:35:59.38 w2gV7wtr.net
>>929
＞迷惑ですから
どうぞ、ご自由に
ここは、こういうスレですから
テンプレ>>1をお読みください
これ、定義ですｗｗ（＾＾
>キチガイが発狂してますね
>昔から「自然数論」という名前の講義も書籍もないですよ
古い論文にはあったよねｗ
で、それ言い出したのあなた
大学で「自然数論」を教えていると言い出した
大学で、「数理論理学」とか「数学基礎論」とか教えているのは当然ですよ（>>921）
で、その中で、わざわざ「自然数論」を取り上げて教えているかといえば
実体は、そんなこともないｗ（>>921）
なにが言いたいの？
自分が、「自然数論」という言葉を知っていると、”シッタカ”をしたかったんだね（＾＾
1038:１３２人目の素数さん
19/09/09 17:45:04.15 uwfnXwUu.net
>>951
なんで、この板に書き込むことに固執するのかな？
＞古い論文にはあったよねｗ
それペアノの論文とかのことですか？
＞大学で「自然数論」を教えていると言い出した
あなたが「自然数論」という名前の講義�
1039:ｪあると誤解した しかし「自然数論」を教えているというのはそういう意味ではない 数学基礎論の中で自然数論の公理系について教えていれば 自然数論を教えたことになる しかも、そこでゲーデル数による不完全性定理の証明を 教えているなら、自然数論の定理を教えているのだから まったく問題ない あなたは言葉を実に狭い意味でとらえる悪い癖があるけど 脳に障害でもあるのかな？
1040:１３２人目の素数さん
19/09/09 17:46:09.94 uwfnXwUu.net
ID:w2gV7wtrは言葉の理解の仕方が一般人と異なっている
アスペルガー症候群の可能性がある
1041:１３２人目の素数さん
19/09/09 17:48:13.01 uwfnXwUu.net
コミュニケーションの障害
アスペルガー症候群では知的能力の発達に遅れはありませんが、
言葉の使いかたが独特であるため、他人との意思疎通が難しい場合があります。
・本などで覚えた難解な言い回しを使う
・文脈や、間接的な表現を読み取ることが苦手で、相手の発言を文字通りに受け取る
・ユーモアやお世辞、皮肉や比喩を理解することが難しい
さらに、耳から入ってくる情報処理が不得意で、会話についていけなくなることもあります。
URLﾘﾝｸ(snabi.jp)
1042:現代数学の系譜 雑談 古典ガロア理論も読む
19/09/09 17:55:59.08 w2gV7wtr.net
>>950
(引用開始)
ID:w2gV7wtrは完全に数学板依存症になってますね
数学板の自分の立てたスレに数学情報を書き込むことで
「俺は数学が分かってる！」と思い込んでいい気分になる
ようです
でも、はっきりいってそれは自分一人の勘違いです
他の人は書き込みをみて
「ああ、また病気の人が書き散らかしてる」
と思うだけ
こんなことをしても病気は治りません
今すぐ書き込みをやめましょう
そして空いた時間をもっと有意義なことに使いましょう
(引用終り)
１）まあ、あなた、非数学的なことを自分が書いているという自覚がありますか？
２）スレのテンプレ>>1を読まずに、文句垂れているという自覚がありますか？
３）5CH数学板に幻想をお持ちでしょ？ ここで学会ごっこをやりたいの？ｗ ５CH落書き掲示板でさｗ
４）そもそもは、私の>>802の引用に対して、貴方が、おかしなレス>>836で 「>>803は、いろいろ問題があるね」 と書いてきた
あと、「真偽の定義なんて出てこないし」とも書いたね
５）であげく、>>870"あなたは「自然数論の真偽の定義」を示せていませんね"と言い出した
で、「自然数論の真偽の定義」を徹底的に追求していくと、あなた答えられないじゃんか ｗ
６）それを取り繕うために、ごたごた書いているだけしょｗ（＾＾
ご苦労さんでした（＾＾
1043:現代数学の系譜 雑談 古典ガロア理論も読む
19/09/09 17:59:43.23 w2gV7wtr.net
>>952
>＞古い論文にはあったよねｗ
>それペアノの論文とかのことですか？
前原論文ですよ
URLﾘﾝｸ(www.jstage.jst.go.jp)
自然数論 の無 矛盾性証明の必要性
前原昭二 筑波大学数学系 科学基礎論研究 Vol.14 1979
>＞大学で「自然数論」を教えていると言い出した
>あなたが「自然数論」という名前の講義があると誤解した
逆でしょ
「自然数論」はオワコンで、大学教程では「自然数論」を教えているところはないと
もちろん、数理論理や基礎論は教えている前提ですよ
曲解必死だね（＾＾
1044:現代数学の系譜 雑談 古典ガロア理論も読む
19/09/09 18:24:23.71 w2gV7wtr.net
>>956 補足
１）経緯は下記です（＾＾
２）であなたのいう「自然数論」は、
2019年の現在では
数理論理学あるいは数学基礎論になっているってことですよ
（経緯引用）
>>880
集合を外れた「自然数論」に深入りするつもりはないわけよｗ（＾＾
そんなものは、いまの大学数学科の教程にないし
オワコンでしょう？ 違いますか？（＾＾；
でも、数学史として、こういう議論もあったということは
知っておいても良いとは思いますよ
>>887
＞そんなものは、いまの大学数学科の教程にない
ウソはいけませんね
ありますよ あなたが知らないだけです
＞オワコンでしょう？ 違いますか？
違いますね 現役ですから
>>893
＞そんなものは、いまの大学数学科の教程にない
>ウソはいけませんね
>ありますよ あなたが知らないだけです
はい
2019年あるいは、近年でも良いです
例示願います
>＞オワコンでしょう？ 違いますか？
>違いますね 現役ですから
多くの大学数学科の教程で、「自然数論」はやらないでしょう？ｗ
新井 敏康先生の2019年の主要な研究テーマが、「自然数論」なのですか？
それって、証明ある？ｗ（＾＾；
(引用終り)
1045:現代数学の系譜 雑談 古典ガロア理論も読む
19/09/09 18:34:54.00 w2gV7wtr.net
>>957 補足
>集合を外れた「自然数論」に深入りするつもりはないわけよｗ（＾＾
数学基礎論の中に、『公理的集合論』を含むという（下記）が、現代数学の視点でしょ（＾＾
(参考)
URLﾘﾝｸ(lucien0308.hateblo.jp)
新米数学博士の数学談話室
数学基礎論からじっくり議論するブログです。
2017-12-18
基礎論Vol.1:そもそも「数学基礎論」とはなにか？
(抜粋)
こんにちは、ルシアンと申します。唐突に始めたブログですが、まず１つ記事を書いてみたいと思います。
テーマは、「そもそも『数学基礎論』とはなにか？」です。
※以下の内容は、「そう考えると数学基礎論って必要だね」と思える一つの見方を書いたものです。個人の一意見として捉えてください。
おわりに
今回は「記号論理学」の話が中心的なテーマとなりましたが、次回以降は議論の根拠として引用するのみになると思います。
自分で詳しく学びたいという方は、以下の文献を開いてみて下さい。
ブルバキ「数学原論 集合論I」、東京図書
上野健爾，砂田利一，深谷賢治，神保道夫「岩波講座 現代数学への入門 現代数学の流れ１」、岩波書店
次回は、「なぜ『公理的集合論』は必要か？」というテーマで書くつもりです。
今回の感想や意見、今後の記事の要望などがあれば、こちらの記事にコメントか、質問箱（略）にてお知らせください
URLﾘﾝｸ(lucien0308.hateblo.jp)
2017-12-24
基礎論Vol.3:なぜ「公理的集合論」は必要なのか？
1046:１３２人目の素数さん
19/09/09 18:41:14.87 uwfnXwUu.net
>>955
非数学的な発言をしているのは、あなたです
あなたの言うことに従う必要はありません
５ｃｈだから嘘を書いていい、とはいえません
＞「自然数論の真偽の定義」を徹底的に追求していくと
そもそも引用したあなたが追求されているので
自分が答えられないことをごまかすために
私に対して定義を追求するのが卑怯で卑劣なのです
恥を知りましょう
1047:１３２人目の素数さん
19/09/09 18:45:35.40 uwfnXwUu.net
>>956
＞前原論文ですよ
前原論文は「自然数論」というタイトルではありませんよｗ
「自然数論の無矛盾性証明の必要性」ですね
そして「自然数論の無矛盾性証明」は数理論理学の範囲です
そして自然数論の無矛盾性証明も数理論理学の現役の内容です
オワコン？あなたが大学の数理論理学を知らないだけですよ
1048:１３２人目の素数さん
19/09/09 18:49:03.54 uwfnXwUu.net
>>957
＞あなたのいう「自然数論」は、2019年の現在では
＞数理論理学あるいは数学基礎論になっているってことですよ
それは嘘ですね
前原の「自然数論の無矛盾性証明」は
その当時も数学基礎論に関することとして扱われていたので、
「自然数論」という名の講義があったわけではないですね
わけのわからない弁解は見苦しいのでやめましょう
あなたが素人の勝手な妄想で語っていたのは明白です
いいかげん自分が何もわかってないことを理解しましょう
あなたは数学的には馬鹿ってことです
1049:１３２人目の素数さん
19/09/09 18:52:34.91 uwfnXwUu.net
>>958
＞集合を外れた「自然数論」に深入りするつもりはないわけよ
素人の訳の分からん妄想ですね
自然数論において「自然数全体の集合」は出てきません
必要ないからです
1050:１３２人目の素数さん
19/09/09 18:54:27.96 uwfnXwUu.net
実数論を展開するには「自然数全体の集合」が必要になります
当然その部分集合も必要になります
1051:１３２人目の素数さん
19/09/09 19:06:26.14 uwfnXwUu.net
＞あなたは数学的には馬鹿ってことです
おそらく激怒してるでしょうが
はっきり申し上げれば世の中の人の９９％は数学的には馬鹿です
要するに数学的には馬鹿が絶対多数です
大学レベル数学が分かってる人というのは、
高額所得者と同程度に少数派なのです
そりゃそうでしょう
大学の数学なんて数学科でしか教えてないし
数学科の学生なんて大学生全体のほんのわずかですから
こういうことはほかの学問でも同じなので
例えば私は物理学的、化学的、生物学的には馬鹿ってことです
政治学的、経済学的にも馬鹿でしょうけど
この場合馬鹿のほうがいいんじゃないかとも思えます
政治は悪、経済も悪、というのが私の認識ですから
1052:１３２人目の素数さん
19/09/09 19:11:54.28 uwfnXwUu.net
最近、数学者が経済について語りたがる傾向がありますが
これには重大な落とし穴があります
つまり、経済が権力の上に成り立っているという事実を看
1053:過して あたかも公理系であるかのごとく考える点です はっきりいって我々は経済学における公理系も それを成立させるために存在している権力も 無条件に認めるべきものと考えませんし 考えるべきではありません
1054:現代数学の系譜 雑談 古典ガロア理論も読む
19/09/09 19:26:41.38 w2gV7wtr.net
>>958
>集合を外れた「自然数論」に深入りするつもりはないわけよｗ（＾＾
参考 スライドにリンクがあります 基礎論⊃集合論ですｗ（＾＾
URLﾘﾝｸ(www.sci.shizuoka.ac.jp)
数学基礎論サマースクール
選択公理と連続体仮説 2019年9月3日(火)?同6日(金)
(抜粋)
URLﾘﾝｸ(www.sci.shizuoka.ac.jp)
概要
選択公理は今日においても数学者が集合論に関心を引かれるきっかけとなる最大のテーマであり，また，連続体仮説の周辺の問題は現在も集合論の中心問題のひとつです．
今回のサマースクールでは，これら古典的問題の現代的な取り扱い，および関連する最近の話題を紹介します．
講義題目と講師
菊池誠 (神戸大学) 集合論のための数理論理学
１．数理論理学の基礎，数理論理学と集合論
ヒルベルト流の述語論理の体系，完全性定理，ペアノ算術と不完全性定理，集合という考え方，ZFC 集合論の公理．[スライド]
藤田博司 (愛媛大学) ツェルメロの選択公理
０．順序数と基数
集合と写像の概念から出発して，集合の濃度について説明します．次に，順序数と基数の定義を述べます．なるべく基本的なところから説明するように努めます．[スライド]
１．選択公理と整列集合
ツェルメロによる整列可能性の証明に初めて選択公理が登場したときの事情にさかのぼり，整列定理，選択公理，ツォルンの補題の同値性を示します．[スライド]
２．選択公理と数学
ティコノフの定理やベクトル空間の基底の存在と選択公理との同値性を示します．[スライド]
３．連続体仮説と集合論についての主張と議論
これまでの集合論を振り返り，連続体仮説と集合論についての講演者の主張とその議論について話します．[スライド]
酒井拓史 (神戸大学) ゲーデルの構成可能集合
０．公理的集合論
公理的集合論の基礎を説明します．具体的には，集合とクラスの区別，関数や関係などの数学の諸概念の取り扱い，および超限帰納法を解説します．[スライド]
１．集合論のモデル
集合論の公理系の無矛盾性を議論するときには，（直感的には）集合論のモデルが用いられます．集合論のモデルについての基本事項を解説します．[スライド]
1055:現代数学の系譜 雑談 古典ガロア理論も読む
19/09/09 19:31:45.20 w2gV7wtr.net
>>960
(引用終り)
＞前原論文ですよ
前原論文は「自然数論」というタイトルではありませんよｗ
「自然数論の無矛盾性証明の必要性」ですね
(引用終り)
なにを、子供のようなことを
そもそも、「自然数論」なんて論文はないでしょ、普通はｗ（＾＾
（普通は、もう少し具体的な題を付けますよね。アホか）
屁理屈もここまで来たら、笑えるよ
（参考）
URLﾘﾝｸ(www.jstage.jst.go.jp)
自然数論 の無 矛盾性証明の必要性
前原昭二 筑波大学数学系 科学基礎論研究 Vol.14 1979
1056:１３２人目の素数さん
19/09/09 19:32:22.64 uwfnXwUu.net
>>966
いい加減見当違いな発言の誤りに気づきましょう
恥ずかしいですよ
1057:１３２人目の素数さん
19/09/09 19:35:51.04 uwfnXwUu.net
>>967
いい加減見当違いな発言の誤りに気づきましょう
恥ずかしいですよ
1058:１３２人目の素数さん
19/09/09 19:37:24.54 uwfnXwUu.net
1は数学をあきらめたほうがいいですね
このままここで書き続けても恥かいて
皆から嘲笑され続けるだけですから
そんなの惨めじゃないですか
1059:現代数学の系譜 雑談 古典ガロア理論も読む
19/09/09 19:39:35.41 w2gV7wtr.net
>>964
>＞あなたは数学的には馬鹿ってことです
>おそらく激怒してるでしょうが
いいえ、それこのスレのテンプレにあります
「スレ主は、皆さんの言う通り、馬鹿であほですから、基本的に信用しないようにお願いします」（下記）な
ご苦労さん
あんた、勝てないよ、おれにはｗ（＾＾
おれスレ主だし、ここはおれのスレだからねｗ（＾＾；
（参考）
テンプレ >>8より
スレ71 ｽﾚﾘﾝｸ(math板:12番)-
12 自分：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 投稿�