1032:現代数学の系譜 雑談 古典ガロア理論も読む
19/08/01 13:39:49.51 mC1KhRVe.net
>>948
つづき
【超準解析】より
…すなわち，無限小量は追放され，極限概念は〈任意の正数εに対してかくかくの性質をもつ正数δが存在する〉という述語論理式によって表現される。それからほぼ100年後，数学基礎論の中からモデル理論が生まれる。モデルとは形式的な理論を解釈する枠組みであるが，一定の条件を満たす理論には標準的でないモデルが存在する。…
【モデル】より
…しかし，こういっても，それにはさまざまな種類がある。 まず大きく分けると，科学におけるモデルは，〈対象モデル〉と〈モデル理論〉に分けられる。そして一般に科学においてモデルというとき，それは対象モデルを意味することが多い。…
※「モデル理論」について言及している用語解説の一部を掲載しています。
URLﾘﾝｸ(ja.wikipedia.org)
数理論理学
数理論理学はしばしば集合論、モデル理論、再帰理論、証明論の4つの領域に分類される。これらの領域はロジックのとくに一階述語論理や定義可能性に関する結果を共有している。計算機科学（とくにACM Classification（英語版））における数理論理学の役割の詳細はこの記事には含まれていない。詳細は計算機科学における論理学（英語版）を参照。
下位分野
Handbook of Mathematical Logic (Barwise 1989)は数理論理学を大まかに次の4つの領域に分類している：
1.集合論
2.モデル理論
3.再帰理論
4.証明論 と 構成的数学 （これらはひとつの領域の2つの部分と見做される）
数理論理学の発祥
言葉を、代数学におけると同様に文字や記号の列で表して、その変換について研究するいわゆる記号論理学、数理論理学の発祥は、19世紀のジョージ・ブールによる「論理代数」、ゴットロープ・フレーゲの書『概念記法』に見ることができる。�
1033:O者は命題論理、後者は述語論理の原型である。 他に直観主義論理、量子論理などがある。 つづく
1034:現代数学の系譜 雑談 古典ガロア理論も読む
19/08/01 13:40:28.36 mC1KhRVe.net
>>949
つづき
URLﾘﾝｸ(en.wikipedia.org)
Logic in computer science
Logic plays a fundamental role in computer science. Some of the key areas of logic that are particularly significant are computability theory (formerly called recursion theory), modal logic and category theory.
URLﾘﾝｸ(ja.wikipedia.org)
一階述語論理
1035:現代数学の系譜 雑談 古典ガロア理論も読む
19/08/01 13:56:51.72 mC1KhRVe.net
>>948
(引用開始)
数学は公理と定義の設定次第でどう解釈しても良い、
と思っていることが分る（笑
公理と定義が間違いなら、その上に構築された理論は
すべて間違いである、という、この単純な常識が分っていない（笑
無限は存在しないのだから無限公理は間違いであり、
無限公理の無矛盾性などいちいち証明する必要はない（笑
(引用終り)
１）なので、21世紀の数理論理学は、多様だということを、まずご認識ください
２）「数学は公理と定義」がされた後は、”数学は厳密の学”です
しかし、どういう「公理と定義」を選ぶのかは、その人の自由です
３）「無限は存在しない」は、証明できません
「無限は存在する」も、証明できません
だから、「無限」は、公理なのです
公理として認めるか認めないかなのです
４）最後に、「数学は公理と定義」した後は、”数学は厳密の学”ですが、小説やマンガの世界と思ってください
まあ、SFの世界でしょうか？ 「SFの世界」として、首尾一貫つじつまは合っている
しかし、「SFの世界」が、現実の世界そっくりとか、如何にもありそうでも
それが、現実の世界と適合しているかどうかを、数学は問いません
あくまで、架空の世界の中で、論理が一貫して矛盾が無ければ、数学としては成立です
現実の世界と適合しているかどうかを問うのは、物理とか別のサイエンスです
おそらく、理解できないと思いますが
でも、これが理系の世界なのです
1036:現代数学の系譜 雑談 古典ガロア理論も読む
19/08/01 14:15:10.40 mC1KhRVe.net
>>948 補足
＞リシャールの逆理(1905)〈25字以内の字数によっては定義されない最小の自然数は，現にこの文章によって25字で定義されている〉とともに，ほとんど形式論理の範囲内で現れることから数学は重大な危機に陥った。…
リシャールの逆理は、二階述語論理によるものとして、一階述語論理に制限することで、”逆理”を避けようということですね
なお、リシャールの逆理の原因は、自己言及（二階述語論理）にあるということです
URLﾘﾝｸ(ja.wikipedia.org)
一階述語論理
(抜粋)
一階述語論理の表現力
一階述語論理は、数学のほぼ全領域を形式化するのに十分な表現力を持っている。
実際、現代の標準的な集合論の公理系 ZFC は一階述語論理を用いて形式化されており、数学の大部分はそのように形式化された ZFC の中で行うことができる。
すなわち、数学の命題は一階述語論理の論理式によって記述することができ、そのように論理式で記述された数学の定理には ZFC の公理からの形式的証明 (formal proof) が存在する。
このことが一階述語論理が重要視される理由の一つである。
1037:哀れな素人
19/08/01 16:29:33.16 pSxXrr1A.net
>>948-952
あいかわらずお前は全然分っていないな（笑
だからカントールの数学が間違いだと
僕も市川氏も言っているのである（笑
無限が存在しないことは、
自然数はどこまで行っても有限であり、決して∞にはならない、
ということによって証明されている（笑
1038:哀れな素人
19/08/01 16:36:30.77 pSxXrr1A.net
とにかく、お前に限らず、
現代の数学生に何を言っても通じない、
ということが嫌というほど分る（笑
おそらく、お前に限らず、
このスレで僕の投稿を読んでいるすべての連中が、
僕が書いていることは間違いだと思っているに違いないのである（笑
しかし市川氏のような人だけは、
僕が書いていることが正しいと分っているし、
ごくフツーの一般人でも、多少とも物が分っている人は、
0.99999……は１ではないと分っているのである（笑
但しその人が、無限は存在しない、
と分っているかどうかは分らない。
というのは、自然数はどこまで行っても有限であり、
決して∞にはならない、ということを、
ほとんどの人が分っているとは限らないからである（笑
実際お前は、このことをはっきりと理解していない（笑
1039:哀れな素人
19/08/01 16:42:59.90 pSxXrr1A.net
さて今日はヒマだったので、
youtubeに数学動画を上げている連中の、連絡先を調べてみた。
僕の数学本も、その後ちっとも売れないので、
こういう連中に本の宣伝メールを送ってみようかと思っている。
2chで宣伝する�
1040:謔閧ﾜしだろう（笑
1041:現代数学の系譜 雑談 古典ガロア理論も読む
19/08/01 16:55:21.88 mC1KhRVe.net
>>948＆>>952
補足
＞リシャールの逆理(1905)〈25字以内の字数によっては定義されない最小の自然数は，現にこの文章によって25字で定義されている〉
↓
正しくは
＞リシャールの逆理(1905)〈25字以内の字数によっては定義されない最小の自然数は，現にこの文章によって25字以内で定義されている〉
だな、きっと（＾＾
そして、本当は、ベリーのパラドックスらしいｗ（＾＾；
なお、リシャール数をヒントに、ゲーデルはゲーデル数を考えて、「不完全性定理の証明に用いた」と言われる（＾＾；
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
リシャールのパラドックス
なお 誤ってベリーのパラドックスがリシャールのパラドックスとして紹介されることがある。
パラドックスの源泉
リシャールが構成しようとする数をリシャール数と呼ぶと、この数を構成するための操作的定義のうちにリシャール文によって順序付けた実数の集合全体が暗黙のうちに含まれていると考えられる（循環定義）。
URLﾘﾝｸ(ja.wikipedia.org)
ベリーのパラドックス
(抜粋)
ベリーのパラドックス（ベリーの逆説）はパラドックスのひとつ。
「19文字以内で記述できない最小の自然数」という文を考える。自然数は可算無限に存在する一方で、日本語19文字で行える記述は有限通り（文字の種類の19乗）であるから、日本語19文字で表現できない自然数は必ず存在する。
つまり、「19文字以内で記述できない最小の自然数」という文章は明確にある自然数を一意に定義している。しかしながら、実際に「19文字以内で記述できない最小の自然数」を求めてみると、「19文字以内で記述できない最小の自然数」であるにも関わらず、「19文字以内で記述できない最小の自然数」という19文字で表現が可能であり、「19文字以内で記述できない最小の自然数」という定義に合致しない。
ZFCなどの公理系は、上記のような非形式的な定義の方法を許可しないことでこのパラドックスを回避している。
つづく
1042:現代数学の系譜 雑談 古典ガロア理論も読む
19/08/01 16:55:46.99 mC1KhRVe.net
>>956
つづき
「自然言語による数の定義」から生まれるパラドックスは他にリシャールのパラドックスが存在し、混同・同一視されることもある[1]。矛盾を導くために実数を構成する必要がないぶんベリーのパラドックスの方が平易である。
イギリスの図書館職員G.G.ベリーに由来する名称の逆説である。
URLﾘﾝｸ(ja.wikipedia.org)
ゲーデル数
(抜粋)
ゲーデル数（ゲーデルすう、英: Godel number）は、数理論理学において何らかの形式言語のそれぞれの記号や整論理式に一意に割り振られる自然数である。クルト・ゲーデルが不完全性定理の証明に用いたことから、このように呼ばれている。また、ゲーデル数を割り振ることをゲーデル数化（英: Godel numbering）と呼ぶ。
(引用終り)
以上
1043:哀れな素人
19/08/01 16:55:51.70 pSxXrr1A.net
ついでにいっておくと、youtubeに数学動画を上げている連中でも、
カントールの実数論や集合論が間違いである、
と分っている者は一人もいないのである（笑
2chの連中も誰一人として分っていない（笑
本職の数学者すら分っていない（笑
フィールズ賞を取った数学者でさえ分っていない（笑
ところが市川氏のような人は分っているのだ（笑
1044:現代数学の系譜 雑談 古典ガロア理論も読む
19/08/01 16:57:47.19 mC1KhRVe.net
>>955
哀れな素人さん、どうもスレ主です。
＞youtubeに数学動画を上げている連中の、連絡先を調べてみた。
＞僕の数学本も、その後ちっとも売れないので、
＞こういう連中に本の宣伝メールを送ってみようかと思っている。
動画作ってアップするのはどう？（＾＾；
自説を解説するやつ
1045:１３２人目の素数さん
19/08/01 17:05:37.31 pSxXrr1A.net
スレ主が、やれリシャールのパラドックスだの、ゲーデルだの、
知ったかぶりしていろんな知識を上げているが、スレ主はアホだから、
リシャールやゲーデルが間違っているかもしれない、
という意識が完全に欠如している（笑
こういう意識が欠如していることが、すべての馬鹿の特徴だ（笑
スレ主に限らないのだ（笑
サル石もその他の連中も、みんな同じだ（笑
1046:哀れな素人
19/08/01 17:11:11.13 pSxXrr1A.net
>>959
そんなことをしたら、これを最初に発表したのは私だ、
と手柄を横取りする奴が出て来るに決まっている（笑
1047:現代数学の系譜 雑談 古典ガロア理論も読む
19/08/01 18:27:54.61 mC1KhRVe.net
>>961
哀れな素人さん、どうもスレ主です。
>そんなことをしたら、これを最初に発表したのは私だ、
>と手柄を横取りする奴が出て来るに決まっている（笑
いや、それは逆ですよ
”手柄を横取りする奴が出て来る”くらい、凄い理論だったと
昔のノーベル化学賞の田中耕一さんの事例がありますよ
ちゃんと発表の裏付けがあれば、「おれに優先権があるぞ」という主張は認められます
それが、理系の世界ですよ（＾＾
（文系は違うのかもね
1048:ｗ（＾＾； ） 参考（細かい経緯は、”ノーベル化学賞受賞 木村美実子 青山紘一 情報管理 2002 特報版”ご参照） https://ja.wikipedia.org/wiki/%E7%94%B0%E4%B8%AD%E8%80%95%E4%B8%80 田中耕一 (抜粋) https://upload.wikimedia.org/wikipedia/commons/7/72/Koichi_Tanaka_2003.jpg レーザーイオン化質量分析技術 この「レーザーイオン化質量分析計用試料作成方法」は、1985年（昭和60年）に特許申請された。 現在、生命科学分野で広く利用されている「MALDI-TOF MS」は、田中らの発表とほぼ同時期にドイツ人化学者のフランツ・ヒレンカンプ (Franz Hillenkamp) とミヒャエル・カラス (Michael Karas) により発表された方法である。MALDI-TOF MS は、低分子化合物をマトリックスとして用いる点が田中らの方法と異なっており、より高感度にタンパク質を解析することができる。 評価とノーベル賞受賞 上記の功績が評価され、田中の開発した方法を「ソフトレーザー脱離イオン化法」として、ノーベル化学賞を2002年に受賞する。 なお、ノーベル賞受賞決定にあたり、何故ヒレンカンプやカラスではないのかという疑問の声が上がり、田中自身も自分が受賞するのを信じられなかった原因に挙げている[10]。経緯として、英語論文発表はヒレンカンプとカラスが早かったが、2人はそれ以前に田中が日本で行った学会発表を参考にしたと書いてあったため[11]、田中の貢献が先と認められた[12]。 https://www.jstage.jst.go.jp/article/johokanri/45/8/45_8_s6/_pdf/-char/ja ノーベル化学賞受賞 木村美実子 青山紘一 情報管理 2002 特報版
1049:現代数学の系譜 雑談 古典ガロア理論も読む
19/08/01 20:39:50.57 3WolrY+P.net
次スレ（＾＾；
現代数学の系譜 工学物理雑談 古典ガロア理論も読む74
ｽﾚﾘﾝｸ(math板)
1050:現代数学の系譜 雑談 古典ガロア理論も読む
19/08/01 20:41:21.37 3WolrY+P.net
適当に次スレへ移りましょう
特に新規の話題や
継続の話題でも、長く続きそうなテーマは、次スレへ（＾＾
1051:現代数学の系譜 雑談 古典ガロア理論も読む
19/08/01 20:42:05.79 3WolrY+P.net
このスレは、
ここまで来れば
自然に埋まるでしょう
1052:現代数学の系譜 雑談 古典ガロア理論も読む
19/08/01 20:42:52.87 3WolrY+P.net
と、まあ、いろいろ言いながら、埋めていますｗ（＾＾；
1053:１３２人目の素数さん
19/08/01 23:05:07.60 0cNb3lKV.net
バカ主はバカである
バカ主は勉強嫌いである
バカ主は利口ぶりたがる
バカ主は平気で嘘を吐く
バカ主は平気で自演する
バカ主の自演はすぐバレる
バカ主は自演がバレてることに気付かない
バカ主は上から目線したがる
バカ主は自分の意に反する意見に聞く耳を持たない
バカ主は他人の尻馬に乗ることばかり考えている
バカ主は理解してないソースをコピペして理解しているふりをする
バカ主は数学で反論できないと人格攻撃に走る
バカ主の主張はいつも独善的である
バカ主には妄想癖がある
バカ主はど素人を味方に付けようと必死である
バカ主はそんなど素人からもバカにされている
1054:１３２人目の素数さん
19/08/01 23:08:36.23 0cNb3lKV.net
>>944
>・反例が、1つ示された
バカ乙
「数当てができてはならない」などと謳われている関数の定義は存在しません（＾＾
1055:１３２人目の素数さん
19/08/01 23:09:58.08 0cNb3lKV.net
>>944
>反例１つで成立しないことの証明になります．
あなたはまったく正しい（＾＾
但しあなたの反例は反例になってませんが（＾＾；
アホバカ乙（＾＾
1056:１３２人目の素数さん
19/08/01 23:13:31.65 0cNb3lKV.net
バカ主はバカである
バカ主は勉強嫌いである
バカ主は利口ぶりたがる
バカ主は平気で嘘を吐く
バカ主は平気で自演する
バカ主の自演はすぐバレる
バカ主は自演がバレてることに気付かない
バカ主は上から目線したがる
バカ主は自分の意に反する意見に聞く耳を持たない
バカ主は他人の尻馬に乗ることばかり考えている
バカ主は理解してないソースをコピペして理解しているふりをする
バカ主は数学で反論できないと人格攻撃に走る
バカ主の主張はいつも独善的である
バカ主には妄想癖がある
バカ主はど素人を味方に付けようと必死である
バカ主はそんなど素人からもバカにされている
1057:１３２人目の素数さん
19/08/01 23:13:52.87 0cNb3lKV.net
ほれ、クソスレ埋める手伝いしてやったぞ
有難く思え（＾＾
1058:１３２人目の素数さん
19/08/01 23:14:03.40 0cNb3lKV.net
バカ主はバカである
バカ主は勉強嫌いである
バカ主は利口ぶりたがる
バカ主は平気で嘘を吐く
バカ主は平気で自演する
バカ主の自演はすぐバレる
バカ主は自演がバレてることに気付かない
バカ主は上から目線したがる
バカ主は自分の意に反する意見に聞く耳を持たない
バカ主は他人の尻馬に乗ることばかり考えている
バカ主は理解してないソースをコピペして理解しているふりをする
バカ主は数学で反論できないと人格攻撃に走る
バカ主の主張はいつも独善的である
バカ主には妄想癖がある
バカ主はど素人を味方に付けようと必死である
バカ主はそんなど素人からもバカにされている
1059:１３２人目の素数さん
19/08/01 23:16:29.30 0cNb3lKV.net
バカ主はバカである
バカ主は勉強嫌いである
バカ主は利口ぶりたがる
バカ主は平気で嘘を吐く
バカ主は平気で自演する
バカ主の自演はすぐバレる
バカ主は自演がバレてることに気付かない
バカ主は上から目線したがる
バカ主は自分の意に反する意見に聞く耳を持たない
バカ主は他人の尻馬に乗ることばかり考えている
バカ主は理解してないソースをコピペして理解しているふりをする
バカ主は数学で反論できないと人格攻撃に走る
バカ主の主張はいつも独善的である
バカ主には妄想癖がある
バカ主はど素人を味方に付けようと必死である
バカ主はそんなど素人からもバカにされている
バカ主は反例の意味が分かってない
1060:１３２人目の素数さん
19/08/01 23:18:07.09 0cNb3lKV.net
バカ主はバカである
バカ主は勉強嫌いである
バカ主は利口ぶりたがる
バカ主は平気で嘘を吐く
バカ主は平気で自演する
バカ主の自演はすぐバレる
バカ主は自演がバレてることに気付かない
バカ主は上から目線したがる
バカ主は自分の意に反する意見に聞く耳を持たない
バカ主は他人の尻馬に乗ることばかり考えている
バカ主は理解してないソースをコピペして理解しているふりをする
バカ主は数学で反論できないと人格攻撃に走る
バカ主の主張はいつも独善的である
バカ主には妄想癖がある
バカ主はど素人を味方に付けようと必死である
バカ主はそんなど素人からもバカにされている
バカ主は反例の意味が分かってない
バカ主は正規部分�
1061:Qすら理解していないのにガロア理論を語る
1062:１３２人目の素数さん
19/08/01 23:18:45.38 0cNb3lKV.net
バカ主はバカである
バカ主は勉強嫌いである
バカ主は利口ぶりたがる
バカ主は平気で嘘を吐く
バカ主は平気で自演する
バカ主の自演はすぐバレる
バカ主は自演がバレてることに気付かない
バカ主は上から目線したがる
バカ主は自分の意に反する意見に聞く耳を持たない
バカ主は他人の尻馬に乗ることばかり考えている
バカ主は理解してないソースをコピペして理解しているふりをする
バカ主は数学で反論できないと人格攻撃に走る
バカ主の主張はいつも独善的である
バカ主には妄想癖がある
バカ主はど素人を味方に付けようと必死である
バカ主はそんなど素人からもバカにされている
バカ主は反例の意味が分かってない
バカ主は正規部分群すら理解していないのにガロア理論を語る
バカ主は大学一年4月のεN論法についていけず落ちこぼれた
1063:１３２人目の素数さん
19/08/01 23:20:34.49 0cNb3lKV.net
バカ主はバカである
バカ主は勉強嫌いである
バカ主は利口ぶりたがる
バカ主は平気で嘘を吐く
バカ主は平気で自演する
バカ主の自演はすぐバレる
バカ主は自演がバレてることに気付かない
バカ主は上から目線したがる
バカ主は自分の意に反する意見に聞く耳を持たない
バカ主は他人の尻馬に乗ることばかり考えている
バカ主は理解してないソースをコピペして理解しているふりをする
バカ主は数学で反論できないと人格攻撃に走る
バカ主の主張はいつも独善的である
バカ主には妄想癖がある
バカ主はど素人を味方に付けようと必死である
バカ主はそんなど素人からもバカにされている
バカ主は反例の意味が分かってない
バカ主は正規部分群すら理解していないのにガロア理論を語る
バカ主は大学一年4月にεN論法についていけず落ちこぼれた
バカ主は同値類も選択公理も分かってないのに時枝不成立と喚いている
1064:１３２人目の素数さん
19/08/01 23:22:59.92 0cNb3lKV.net
こら、バカ主
さっさと時枝解法の確率変数を書け
おまえわかってないから書けないんだろ？
バカだね～まったく（＾＾
1065:１３２人目の素数さん
19/08/01 23:27:24.80 0cNb3lKV.net
そもそも rとXは、r～Xすなわち
∃d∈N: n≧d⇒rn=Xn
であるから、先頭のたかだか有限個の項しか不一致でない
つまりほとんどすべての項が一致している
あとは数学的にきちんと99/100を言うために100列のいずれか1列をランダムに選ぶだけである
こんな簡単なことが分からないバカ主は池沼である（＾＾
1066:１３２人目の素数さん
19/08/01 23:27:55.17 0cNb3lKV.net
バカ主はバカである
バカ主は勉強嫌いである
バカ主は利口ぶりたがる
バカ主は平気で嘘を吐く
バカ主は平気で自演する
バカ主の自演はすぐバレる
バカ主は自演がバレてることに気付かない
バカ主は上から目線したがる
バカ主は自分の意に反する意見に聞く耳を持たない
バカ主は他人の尻馬に乗ることばかり考えている
バカ主は理解してないソースをコピペして理解しているふりをする
バカ主は数学で反論できないと人格攻撃に走る
バカ主の主張はいつも独善的である
バカ主には妄想癖がある
バカ主はど素人を味方に付けようと必死である
バカ主はそんなど素人からもバカにされている
バカ主は反例の意味が分かってない
バカ主は正規部分群すら理解していないのにガロア理論を語る
バカ主は大学一年4月にεN論法についていけず落ちこぼれた
バカ主は同値類も選択公理も分かってないのに時枝不成立と喚いている
バカ主は池沼である
1067:１３２人目の素数さん
19/08/01 23:33:51.69 0cNb3lKV.net
バカ主はバカである
バカ主は勉強嫌いである
バカ主は利口ぶりたがる
バカ主は平気で嘘を吐く
バカ主は平気で自演する
バカ主の自演はすぐバレる
バカ主は自演がバレてることに気付かない
バカ主は上から目線したがる
バカ主は自分の意に反する意見に聞く耳を持たない
バカ主は他人の尻馬に乗ることばかり考えている
バカ主は理解してないソースをコピペして理解しているふりをする
バカ主は数学で反論できないと人格攻撃に走る
バカ主の主張はいつも独善的である
バカ主には妄想癖がある
バカ主はど素人を味方に付けようと必死である
バカ主はそんなど素人からもバカにされている
バカ主は反例の意味が分かってない
バカ主は正規部分群すら理解していないのにガロア理論を語る
バカ主は大学一年4月にεN論法についていけず落ちこぼれた
バカ主は同値類も選択公理も分かってないのに時枝不成立と喚いている
バカ主は池沼である
バカ主は”共通のしっぽ”を本気で信じている
1068:現代数学の系譜 雑談 古典ガロア理論も読む
19/08/02 00:07:21.61 iEpfJmnQ.net
問答無用！ｗ（＾＾；
（>>851より）
下記の通り「時枝の手法では、あるD∈Nがあって、XDは確率1－ε（例えば99/100など）で、実数値rDを取るという」だから
「Dが一定」である必要なし！
(>>829より）
１）独立同分布(IID)を仮定しよう。具体的に、コイントスで、{0,1}を入れた（>>812）
可算無限個の確率変数の族X1,X2,・・・（時枝記事後半にある通り）
で任意のi∈Nで、Xiは確率1/2で、0か1かの値を取る
２）ところが、時枝の手法では、あるD∈Nがあって、XDは確率1－ε（例えば99/100など）で、実数値rDを取るという
これは矛盾である（>>812）
３）独立同分布(IID)を仮定した瞬間、これで終りでしょｗ（＾＾
これには、全部裏付けがあるよ(下記)
>>465 >>474 >>479
（過去なんども繰り返し述べてきた通りだが、確率過程論の知識がないと、時枝不成立がなかなか理解できないのだろう）
>必ずXD=rD
(>>831より)
時枝の設定は、次の通り
スレ20 ｽﾚﾘﾝｸ(math板:18番)-
(抜粋)
過去スレ20 再録 ｽﾚﾘﾝｸ(math板:2-7番)
１．時枝問題（数学セミナー201511月号の記事）の最初の設定はこうだった。
「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる.
どんな実数を入れるかはまったく自由，例えばn番目の箱にe^πを入れてもよいし，すべての箱にπを入れてもよい.
・・・・
列r のD番目の実数r(D)を見て， 「第k列のD番目の箱に入った実数はs^k(D)＝rD」と賭ければ，めでたく確率99/100で勝てる.
確率1-ε で勝てることも明らかであろう.
(引用終り)
ここで、実数値rDは、（-∞，+∞）の範囲をカバー出来ていなければ、的中確率99/100など得られない
だが、コイントスのIID ２値{0,1}のみとは、真っ向矛盾している
コイントスのIID ２値{0,1}のみを仮定すれば、実数値rDで的中確率99/100など得られるはずがない！
「必ずXD=rD」というが、例えばrD=e^π 又はrD=πなどの実数値（上記時枝記事記載の通り）では、コイントスの２値{0,1}は的中できるはずがない！！（＾＾
QED
1069:哀れな素人
19/08/02 08:10:27.38 lH6rWB37.net
>>962
何をトンチンカンなことを書いているのか（笑
お前の挙げているコピペによる�
1070:ﾆ、 田中は学界で発表したのであって、 ネット上に発表したのではない（笑 ワイルズはネット上で発表したらしいが、学者であるし、 難解な数学論文など一般人には理解できないから、 そういうことができる。 僕の「無限小数は数ではない」とか「解析学の大錯誤」 などは読めば誰でも理解できるものだから、 ネット上で発表すれば剽窃する人間が出て来るに決まっている（笑
1071:哀れな素人
19/08/02 08:23:56.10 lH6rWB37.net
実を言えば、僕は今のところ30人ほどの数学関係者に
本の宣伝メールを送ったが、読んだ人間が、
その重大さに気づいて、手柄を横取りするのではないか、
と少し危惧しているほどだ。
youtubeに数学動画を上げている連中に
宣伝メールを送るのも、そういう意味で、
少し慎重になっているのだ。
なぜなら彼等なら、読めば必ず理解するだろうし、
その重大さに気づくだろうからだ。
何しろ現代数学の根幹であるカントールの実数論や集合論や、
また解析学の基本公理の誤りを指摘した本だからだ。
だから、本が全然売れていないということが、
ある意味では、幸運なことなのだ（笑
なぜなら剽窃される心配がないから（笑
1072:哀れな素人
19/08/02 09:45:18.71 lH6rWB37.net
ヒマだからもう少し書くと、
最近のブログにはツイッターの投稿欄はあるが、
それ以外の連絡欄がない。
だからたとえばyoutubeに「式変形チャンネル」
という名前で数学動画を上げている男がいるが、
この男に本の宣伝メールを送ろうと思っても、
僕はツイッターには入っていないので、送れない（嘆
他にも、同じ理由で、
メールを送ろうにも送れないサイトがかなりある（嘆
1073:１３２人目の素数さん
19/08/02 21:29:47.41 goMJLft3.net
>>981
>問答無用！ｗ（＾＾；
「数当てできてはならない」と謳っている関数の定義を提示できないから問答されたら困るんですね？ 分かります（＾＾；
1074:哀れな素人
19/08/04 08:02:11.05 YHlwXkGl.net
こちらのスレが空いているから、こちらに書いておこうか。
次スレのスレ主のコピペによると、
どうやら千京夕夏は千京であるらしい。
しかし千京夕夏のHPにも、ツイートの投稿欄はあるが、
それ以外のコンタクト欄がない（嘆
こうなれば、僕もツイッターを始めてみようか、
とも思うが、どうもいまいち決心がつかない。
1075:現代数学の系譜 雑談 古典ガロア理論も読む
19/08/04 12:05:52.27 wYXDzdNx.net
埋め
1076:現代数学の系譜 雑談 古典ガロア理論も読む
19/08/04 12:07:20.90 wYXDzdNx.net
>>986
哀れな素人さん、どうも。スレ主です。
>こうなれば、僕もツイッターを始めてみようか、
それは良い考えですね
いやなら、止めるのも自由ですから（＾＾
1077:現代数学の系譜 雑談 古典ガロア理論も読む
19/08/04 12:07:37.88 wYXDzdNx.net
ウメ
1078:現代数学の系譜 雑談 古典ガロア理論も読む
19/08/04 12:42:49.14 wYXDzdNx.net
うめ～
1079:現代数学の系譜 雑談 古典ガロア理論も読む
19/08/04 12:43:14.92 wYXDzdNx.net
埋め、梅
1080:１３２人目の素数さん
19/08/04 17:21:32.61 P7bSsHJN.net
{}
1081:１３２人目の素数さん
19/08/04 17:21:57.26 P7bSsHJN.net
{{}}
1082:１３２人目の素数さん
19/08/04 17:22:28.34 P7bSsHJN.net
{{}{{}}}
1083:１３２人目の素数さん
19/08/04 17:23:05.11 P7bSsHJN.net
{{}{{}}{{}{{}}}}
1084:１３２人目の素数さん
19/08/04 17:23:31.30 P7bSsHJN.net
{{}{{}}{{}{{}}}{{}{{}}{{}{{}}}}}
1085:１３２人目の素数さん
19/08/04 17:23:54.56 P7bSsHJN.net
{{}{{}}{{}{{}}}{{}{{}}{{}{{}}}}{{}{{}}{{}{{}}}{{}{{}}{{}{{}}}}}}
1086:１３２人目の素数さん
19/08/04 17:24:20.02 P7bSsHJN.net
{{}{{}}{{}{{}}}{{}{{}}{{}{{}}}}{{}{{}}{{}{{}}}{{}{{}}{{}{{}}}}}{{}{{}}{{}{{}}}{{}{{}}{{}{{}}}}{{}{{}}{{}{{}}}{{}{{}}{{}{{}}}}}}
}
1087:１３２人目の素数さん
19/08/04 17:24:50.77 P7bSsHJN.net
{{}{{}}{{}{{}}}{{}{{}}{{}{{}}}}{{}{{}}{{}{{}}}{{}{{}}{{}{{}}}}}{{}{{}}{{}{{}}}{{}{{}}{{}{{}}}}{{}{{}}{{}{{}}}{{}{{}}{{}{{}}}}}}
{{}{{}}{{}{{}}}{{}{{}}{{}{{}}}}{{}{{}}{{}{{}}}{{}{{}}{{}{{}}}}}{{}{{}}{{}{{}}}{{}{{}}{{}{{}}}}{{}{{}}{{}{{}}}{{}{{}}{{}{{}}}}}}
}}
1088:１３２人目の素数さん
19/08/04 17:25:35.41 P7bSsHJN.net
{{}{{}}{{}{{}}}{{}{{}}{{}{{}}}}{{}{{}}{{}{{}}}{{}{{}}{{}{{}}}}}{{}{{}}{{}{{}}}{{}{{}}{{}{{}}}}{{}{{}}{{}{{}}}{{}{{}}{{}{{}}}}}}
{{}{{}}{{}{{}}}{{}{{}}{{}{{}}}}{{}{{}}{{}{{}}}{{}{{}}{{}{{}}}}}{{}{{}}{{}{{}}}{{}{{}}{{}{{}}}}{{}{{}}{{}{{}}}{{}{{}}{{}{{}}}}}}
}{{}{{}}{{}{{}}}{{}{{}}{{}{{}}}}{{}{{}}{{}{{}}}{{}{{}}{{}{{}}}}}{{}{{}}{{}{{}}}{{}{{}}{{}{{}}}}{{}{{}}{{}{{}}}{{}{{}}{{}{{}}}}}}
{{}{{}}{{}{{}}}{{}{{}}{{}{{}}}}{{}{{}}{{}{{}}}{{}{{}}{{}{{}}}}}{{}{{}}{{}{{}}}{{}{{}}{{}{{}}}}{{}{{}}{{}{{}}}{{}{{}}{{}{{}}}}}}
}}}
1089:1001
Over 1000 Thread.net
このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 18日 19時間 25分 10秒
1090:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています