[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む83 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
220(1): 2020/02/11(火)20:35 ID:yCL40qf3(31/44) AAS
>>218
＞数当てを考えるなら、極限を考えるべきです
極限を考えても、確率が確定しませんけどね
箱の中身が確率変数の場合
「計算方法によって異なる確率が算出される」
という意味で「箱入り無数目」の主張が成立しない
というのは正しいですが、その場合
省3
221(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/02/11(火)20:36 ID:CB29Ozfy(6/13) AAS
>>217
>人が「代表選び」を実行するわけではないですよ
>選択公理により代表を選ぶ関数が存在する、と言ってるだけですから
選択公理は、選択関数の存在を保証しているだけ
というよりも、可算無限の集合族から、1つずつ元を選んで、新しい集合を作ることを許容している
そして、選ぶ元についての制限は、選択公理側には存在しない。好きに選んで良い。任意性があります
もし、集合族が1つの集合から成るなら、1つの元を持つ集合ができる
省6
222: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/02/11(火)20:37 ID:CB29Ozfy(7/13) AAS
>>221 訂正
というよりも、可算無限の集合族から、1つずつ元を選んで、新しい集合を作ることを許容している
↓
というよりも、非可算無限の集合族から、1つずつ元を選んで、新しい集合を作ることを許容している
223(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/02/11(火)20:40 ID:CB29Ozfy(8/13) AAS
>>220
その論法は、>>22 >>33の
＜時枝記事の可算無限数列の数当て定理 ”もどき”＞
が、不成立なので、だめですよ
224(1): 2020/02/11(火)20:40 ID:yCL40qf3(32/44) AAS
>>221
＞人の「代表選び」を禁止する力は、選択公理にはありません
The Riddleの場合、100人のうち少なくとも99人が当たるようにするには
100人が同じ選択関数を使用することが必要です
100人が同じ選択関数を使うことを禁止する力も、選択公理にはないですね
225(1): 2020/02/11(火)20:44 ID:yCL40qf3(33/44) AAS
>>223
＞＜時枝記事の可算無限数列の数当て定理 ”もどき”＞
＞が、不成立なので
The Riddleが間違ってる、といってますか？
つまり、The Riddleで100人が100人とも外す100列が存在する、といってますか？
100列でなくても２列で結構ですよ
2人とも外す2列が存在するといってますか？
省6
226: 2020/02/11(火)20:49 ID:pez17n4y(30/45) AAS
>>211
>６．ですから、例えば簡単に２列で考えて、1つの列の決定番号が有限d1、もう一つの列の決定番号が有限d2 で、d1＞d2 だの、あるいは、d1＜d2 だのと論じていることが、
> 「ゼロ確率」下での議論にすぎない
いいえ、「１確率」下での議論ですね。
なぜなら大小関係を論ずる対象の決定番号はd1,d2ですべてですから。
d1とd2の大小関係を論ずるのに他の決定番号は無関係ですから。
227: 2020/02/11(火)20:50 ID:yCL40qf3(34/44) AAS
AA省
228: 2020/02/11(火)20:54 ID:yCL40qf3(35/44) AAS
>>211
＞「ゼロ確率」下での議論
決定番号が自然数となる確率がゼロだといってるとすれば
「同値類の代表元が、同値類に属するほとんどすべての元と、同値でない」
といってることになり、実におかしな主張になりますね
「同値類の代表元は、同値類に属するすべての元と同値」ですから
229(2): 2020/02/11(火)20:55 ID:pez17n4y(31/45) AAS
>>211
>これが、時枝記事のトリックで、エレガントかは別として、>>22 や>>33の1つの謎解きです
なんのトリックにもなってないですね。
二つの自然数 a,b の大小関係は必ず a>b, a=b, a<b のどれか一つに定まりますから。
230: 2020/02/11(火)20:56 ID:yCL40qf3(36/44) AAS
もし「決定番号の確率分布」から
「同値類の代表元が、同値類に属するほとんどすべての元と、同値でない」
といえるとしたら、「決定番号の確率分布」がおかしいと考えるのが
数学の正しい考え方だと思いますが、如何ですか？
231: 2020/02/11(火)20:59 ID:yCL40qf3(37/44) AAS
>>229
＞二つの自然数 a,b の大小関係は必ず a>b, a=b, a<b のどれか一つに定まります
そうですね
ついでにいえば、決定番号は自然数の値をとります
「同値類の代表元は、同値類に属する元と同値」ですから
232: 2020/02/11(火)21:02 ID:pez17n4y(32/45) AAS
>>215
>３．ところで、手抜かりで、1つの同値類の代表選びが、未完だったとする
> 時枝記事の戦略は、不成立ですか？
そもそも戦略をわざわざ劣化させる意味が無いですね。
233: 2020/02/11(火)21:03 ID:yCL40qf3(38/44) AAS
１．「代表元の取り方が１００人１００様であってもよい」という主張は
「代表元の取り方が１００人共通であってもよい」という主張を否定しません
２．決定番号は必ず自然数となります
３．二つの自然数ａ，ｂは、ａ＞ｂ、ａ＝ｂ、ａ＜ｂのいずれかを満たします
上記３点から、The Riddleで100人が100人とも外す100列は存在し得ません
234: 2020/02/11(火)21:03 ID:pez17n4y(33/45) AAS
>>215
>問題の２列が、未完の1つに該当しなければOKですよね
無条件OKを条件付きOKに劣化させる意味がありません。
235: 2020/02/11(火)21:06 ID:pez17n4y(34/45) AAS
>>215
>そう考えると、最低レベルは問題の２列のみの同値類と代表があればOK
だめですね、代表は事前に定まっていることが必須ですが、
2列のみを事前に定めることはできないですから。箱を開けてないので。
236: 2020/02/11(火)21:09 ID:pez17n4y(35/45) AAS
>>215
>可算無限の同値類と代表で、問題の２列を包含できえればOK。この場合は、可算選択公理で間に合う
可算で問題の2列がカバーできる保証が無いので単なる劣化戦略にしからなず考えるだけ無意味ですね。
237: 2020/02/11(火)21:13 ID:pez17n4y(36/45) AAS
>>215
>時枝記事成立だけなら フルパワー選択公理を必要としていません
いいえ、時枝戦略が成立するためには選択公理が必須です。
238: 2020/02/11(火)21:14 ID:pez17n4y(37/45) AAS
>>215
>QED
QEDとは？ なにかを証明した気になってます？
239: 2020/02/11(火)21:20 ID:pez17n4y(38/45) AAS
>>218
>が、数当てを考えるなら、極限を考えるべきです
なんで？
>そして、The Riddleにしろ The Modificationにしろ 時枝記事にしろ
>結局、>>22 (これ>>33と同じ) の １列の場合の
>＜時枝記事の可算無限数列の数当て定理 ”もどき”＞
>が、L→∞の極限で不成立なら、全滅ですね
省2
240: 2020/02/11(火)21:27 ID:yCL40qf3(39/44) AAS
そもそも「代表元の取り方が１００人共通にできない」という場合
「選択関数が存在しないから」と考えざるを得ません
つまり、The Riddleで１００人が１００人とも外す状況は、
選択関数が存在し得ず、各々がその場で勝手な代表を選ぶしかない
という状況でしか成立しません
241: 2020/02/11(火)21:32 ID:pez17n4y(39/45) AAS
>>215
>２．時枝記事は、事前に全ての数列の同値類の分類と代表選びを完璧に終わらせるという
誰かが分類するわけじゃないですよ？
集合Xに同値関係〜を定義した瞬間にX/〜が存在します。
同値類について語るなら同値類を勉強して下さいね。もちろん時枝戦略について語るにも。
242: 2020/02/11(火)21:40 ID:pez17n4y(40/45) AAS
>>223
>その論法は、>>22 >>33の
>＜時枝記事の可算無限数列の数当て定理 ”もどき”＞
>が、不成立なので、だめですよ
時枝戦略は当てずっぽう戦略ではないので>>22は無意味ですね
243: 2020/02/11(火)21:47 ID:pez17n4y(41/45) AAS
今夜も ◆e.a0E5TtKE は大惨敗ですね。
当たり前です。独善主張がまかり通るのはどこかの国の将軍様くらいですから。
244: 2020/02/11(火)21:56 ID:pez17n4y(42/45) AAS
AA省
245: 2020/02/11(火)21:57 ID:pez17n4y(43/45) AAS
AA省
246(4): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/02/11(火)22:02 ID:CB29Ozfy(9/13) AAS
前スレの下記、時枝に戻る
(引用開始)
スレ81 2chｽﾚ:math
964 自分返信：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 投稿日：2020/02/09(日) 22:30:35.34 ID:XY5HcLEF [44/46]
それ、時枝先生の勘違いですよ
下記で、ばっさり やられています （ テンプレ>>9 スレ20の確率論の専門家さん）
私は、下記を支持します
省22
247(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/02/11(火)22:02 ID:CB29Ozfy(10/13) AAS
>>246
つづき
（参考）
外部ﾘﾝｸ:ja.wikipedia.org
コンパクト性定理（英: Compactness theorem）とは、一階述語論理の文の集合がモデルを持つこと（充足可能であること）と、その集合の任意の有限部分集合がモデルを持つことが同値であるという定理である。
応用例
コンパクト性定理はモデル理論を含む様々な分野において多くの応用を持つ。例として、以下の定理や命題がコンパクト性定理を用いて証明される。
省11
248(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/02/11(火)22:02 ID:CB29Ozfy(11/13) AAS
AA省
249: 2020/02/11(火)22:05 ID:yCL40qf3(40/44) AAS
>>246
その発言、無限乗積の使い方がナンセンスって
斬り捨てられたんじゃなかったでしたっけ？
250: 2020/02/11(火)22:07 ID:yCL40qf3(41/44) AAS
既に無意味と斬り捨てられた主張を唱えるってことは
なんで無意味か全然理解できなかった、ってことでしょうか？
微分積分学の初歩からやり直した方がいい、と思いますよ
251: 2020/02/11(火)22:14 ID:pez17n4y(44/45) AAS
>既に無意味と斬り捨てられた主張を唱えるってことは
◆e.a0E5TtKE は常習犯ですけどねｗ
252(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/02/11(火)22:17 ID:CB29Ozfy(12/13) AAS
>>247 補足
＞コンパクト性定理（英: Compactness theorem）とは、一階述語論理の文の集合がモデルを持つこと（充足可能であること）と、その集合の任意の有限部分集合がモデルを持つことが同値であるという定理である。
これ、初見では、意味を掴むのが難しいと思うので、外しているかも知れないが、解説してみると下記
１．可算無限個の箱の列で、”黒い”という状態を考えてみよう
２．可算無限個の箱の列が、全体として”黒い”ということは、任意の有限部分集合が”黒い”ことと定義する
３．普通に 「可算無限個の箱の列で、”黒い”」の否定は、「”どこかある部分が、”黒い”という状態ではない」となるだろう
４．これは、「任意の有限部分集合が”黒い”」という記述と符合していて、「任意の有限部分集合が”黒い”」が否定されるならば、「”どこかある部分が、”黒い”という状態ではない」となる
省3
253(1): 2020/02/11(火)22:17 ID:pez17n4y(45/45) AAS
>既に無意味と斬り捨てられた主張を唱えるってことは
◆e.a0E5TtKE は自分の主張は雄弁に語るが、他人の指摘は聞く耳持たない独善野郎なので、
切り捨てられたことさえ分かってないのでしょう
254: 2020/02/11(火)22:22 ID:yCL40qf3(42/44) AAS
>>255
＞外しているかも知れないが
外してます
尻尾の同値関係でいうと、
同値類に属する任意有限個の列について
共通の尻尾は存在しますが
無限個の列については、共通の尻尾が存在しない場合があります
省5
255(1): 2020/02/11(火)22:25 ID:yCL40qf3(43/44) AAS
>>253
＞自分の主張は雄弁に語るが、他人の指摘は聞く耳持たない
学問には向かないタイプですね
256(1): 2020/02/11(火)22:25 ID:yCL40qf3(44/44) AAS
>>252
＞外しているかも知れないが
外してます
尻尾の同値関係でいうと、
同値類に属する任意有限個の列について
共通の尻尾は存在しますが
無限個の列については、共通の尻尾が存在しない場合があります
省5
257: 2020/02/11(火)22:26 ID:0FRNs0u+(1/2) AAS
>>252
> 可算無限個の箱の列が、全体として”黒い”ということは、
> 任意の有限部分集合が”黒い”ことと定義する
有限数列全体の集合の要素として無限数列が存在することはありえないのに
258(2): 2020/02/11(火)22:48 ID:0FRNs0u+(2/2) AAS
>>252
スレ主の定理(おっちゃん歓喜の定理) = setaの定理
超越数は存在しない
[証明]
超越数は無限小数である
任意の有限小数は超越数でない
(*) setaは以下のアカウント名に由来する
省5
259(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/02/11(火)23:48 ID:CB29Ozfy(13/13) AAS
>>218
>そして、The Riddleにしろ The Modificationにしろ 時枝記事にしろ
>結局、>>22 (これ>>33と同じ) の １列の場合の
>＜時枝記事の可算無限数列の数当て定理 ”もどき”＞
>が、L→∞の極限で不成立なら、全滅ですね
昔読んだ話が、物理学で若い研究者が研究発表をしたところ、前列に座っていた大物物理学者が
「その式はおかしい」とずばり指摘し、書き間違いがあったという
省28
260(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/02/12(水)00:00 ID:8axgfTbD(1/19) AAS
【コンパクト性定理】を否定するのは、無理ゲーでしょ（＾＾；
外部ﾘﾝｸ:fujicategory.hatenadiary.org
数学基礎論の勉強ノート
2011-06-22
１階論理のコンパクト性 fujicategory
第１章
【コンパクト性定理】
省15
261(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/02/12(水)00:05 ID:8axgfTbD(2/19) AAS
>>260
追加
外部ﾘﾝｸ:m-hiyama.hatena（URLがNGなので、キーワードでググれ（＾＾ ）
檜山正幸のキマイラ飼育記 (はてなBlog)
2005-12-07
コンパクト空間と論理／モデル論
(抜粋)
省18
262(4): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/02/12(水)00:16 ID:8axgfTbD(3/19) AAS
>>260
＞【コンパクト性定理】を否定するのは、無理ゲーでしょ（＾＾；
追加
外部ﾘﾝｸ:www.math.tsukuba.ac.jp
ロジックの部屋
坪井明人 筑波大
外部ﾘﾝｸ[pdf]:www.math.tsukuba.ac.jp
省21
263(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/02/12(水)00:28 ID:8axgfTbD(4/19) AAS
こんなのもある
いつもお世話に成っている 渕野 昌先生（＾＾
外部ﾘﾝｸ:fuchino（URLがNGなので、キーワードでググれ（＾＾ ）
有限から無限への移行原理としての
命題論理
渕野 昌
神戸大学大学院 システム情報学研究科 June 11．2012
省1
264(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/02/12(水)00:41 ID:8axgfTbD(5/19) AAS
下記の
数理論理学（1）
小野 寛晰
Ono Hiroakira
情報処理,20(8), (1979-08-15)
にも、コンパクト性定理の解説があるよ
外部ﾘﾝｸ[php]:ipsj.ixsq.nii.ac.jp
省18
265(2): 2020/02/12(水)00:43 ID:UvpDJSC3(1/10) AAS
>>256
少数のルール0.000…０＝0.000…１により
対角線論法は間違い
266(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/02/12(水)00:47 ID:8axgfTbD(6/19) AAS
>>262
補足
(引用開始)
2.5 応用例
2.5.1 ４色定理と無限地図
平面内に書かれた有限個の国を持つ地図は，４色を用いて隣国が同じ色にな
らないように塗り分けられる（ Kenneth Appel and Wolfgang Haken）．実は
省11
267(1): 2020/02/12(水)00:49 ID:Sxg0ZY+g(1/16) AAS
>>259
>極限を考えることは、物理学では結構普通ですが、
>数学でも非常に有用です！（＾＾；
>>218は極限以前に時枝戦略と無関係な当てずっぽう戦略になってる時点で無意味ですけどね。
268(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/02/12(水)00:50 ID:8axgfTbD(7/19) AAS
>>265
>少数のルール0.000…０＝0.000…１により
>
>対角線論法は間違い
？
クワスク
269(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/02/12(水)00:52 ID:8axgfTbD(8/19) AAS
>>267
>>>218は極限以前に時枝戦略と無関係な当てずっぽう戦略になってる時点で無意味ですけどね。
逆でしょ
極限でどうなるかをしっかり考えないから
トリックに騙されると思うよ（＾＾；
270(2): 2020/02/12(水)01:22 ID:UvpDJSC3(2/10) AAS
>>268
2進数の少数で表せる任意の状態は
ルール110セル・オートマトンの任意の状態と等しい
またルール110セル・オートマトンの変化は特定のルールに従い任意の少数を四則演算した結果といっちする。
ルール110セル・オートマトンはチューリング完全であるためそれをエミュレートできる四則演算もチューリング完全である
よってあらゆる計算に少数のルールを適応できるため
０．００００…０＝０．００００…１はあらゆる計算「のルールで正しい
271(2): 2020/02/12(水)01:36 ID:Sxg0ZY+g(2/16) AAS
>>269
極限を取る対象それ自体が間違ってると言ってるんだけど分からない？
当てずっぽう戦略と時枝戦略の違い、分からない？
272: 2020/02/12(水)01:38 ID:Sxg0ZY+g(3/16) AAS
まあ時枝戦略に選択公理は必須でないとか言ってる時点で全然分かってないんだけどね
時枝戦略を論じるなら時枝戦略を正しく理解することから始めましょうね
273: 2020/02/12(水)01:40 ID:Sxg0ZY+g(4/16) AAS
で、反例なり証明のギャップはまだですかね？
出せないならスレ閉鎖よろしく、約束はまもりましょうね
274: 2020/02/12(水)01:50 ID:UvpDJSC3(3/10) AAS
四則演算のルールは有限でありあらゆる計算を一つの計算で表せるため
任意の有限計算に対するコンパクト性定理により、定理は如何なる計算でも成立する
またある理論の充足可能性はその有限部分の充足可能性と一致するため
あらゆる計算＝あらゆる理論の充足可能性は証明された
275: 2020/02/12(水)01:57 ID:UvpDJSC3(4/10) AAS
演繹においては、前提が真であれば、結論も必然的に真とならなければならない
ある理論において真とみなせる計算はあらゆる理論とみなせる
よってある理論においてあらゆる理論は真とみなせる
276: 2020/02/12(水)02:14 ID:UvpDJSC3(5/10) AAS
つまり、大統一理論はあらゆる矛盾を無効化し、あらゆる事象を自分の都合のいい物に変え、
そしてそれによって莫大過ぎるほどのエネルギーを生み出すことが出来る
277: 2020/02/12(水)03:34 ID:xOqnz3XM(1/15) AAS
おっちゃんです。
>>258
>スレ主の定理(おっちゃん歓喜の定理) = setaの定理
>超越数は存在しない
>
>[証明]
>超越数は無限小数である
省5
278(4): 2020/02/12(水)03:55 ID:xOqnz3XM(2/15) AAS
>>200
私の方法で初等的にフェルマー予想をするのには限界があった。
あの方法では、せいぜい、ファルティングスによるフェルマー予想における
方程式 x^n+y^n＝z^n 3≦n∈N を満たす3以上の正整数nと、
nに対応して存在し得る整数解 (x,y,z) とに関する
有限性の結果を初等的に証明出来るかどうかに過ぎない。
まだ試みてはいないのでフェルマー予想まで行けるかどうかは知らないが、多分。
279: 2020/02/12(水)06:04 ID:SjIye1YG(1/13) AAS
>>258
◆e.a0E5TtKE は瀬田っていうのか
じゃ、これから瀬田君ね
280: 2020/02/12(水)06:07 ID:SjIye1YG(2/13) AAS
>>260-264
瀬田君は、確率における”コンパクト性定理”を証明したのかい？
似非専門家は何も証明できてないよ
0になる無限乗積持ち出した時点で無意味
281: 2020/02/12(水)06:09 ID:SjIye1YG(3/13) AAS
数学板４大トンデモ
高木・日高・安達・瀬田
282(1): 2020/02/12(水)06:51 ID:SjIye1YG(4/13) AAS
>>211
＞逆転の発想で、先頭側の同値類を考えましょう
＞ある番号ｎから先頭側、つまり0からnまでの箱の数が一致することをもって
＞同値と考えます
＞推移律などの確認は、時枝記事と同じなので、省略します
＞結局、この場合、先頭の箱の数が一致すれば、先頭側の同値が成立つ
＞列の長さは無関係です
省4
283(5): 2020/02/12(水)07:06 ID:NeiqDepY(1/4) AAS
以前は>>278みたいな言辞に騙されて乙は瀬田とは違うとか評価するひとがいたのが信じられないな。
こいつら2人の数学の出来なさは本当に酷いレベル。
なまじっか高度な用語を使って（誤用して）誤魔化そうとするところまで共通している。
284: 2020/02/12(水)07:16 ID:xOqnz3XM(3/15) AAS
>>283
フェルマー予想の初等的証明をマジメに考える気は余りしない。
私の方法の限界を悟っただけ。
285: 2020/02/12(水)07:24 ID:xOqnz3XM(4/15) AAS
幾ら何でもフェルマー予想の初等的証明は恐らくないだろう。
286: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/02/12(水)07:38 ID:8axgfTbD(9/19) AAS
>>282-283
残念だがろうが、おれは、それには否定も肯定もしない
リアルのだれか別人に迷惑を掛ける可能性があるからね
過去にもそういう話を出した人が居たがね
本人が名乗るのは、本人の責任だが
そういう、憶測を流すと、リアルのだれかが風評被害を受けることも考えられる
そのとき、本人が名乗っていれば、本人の責任だが
省4
287(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/02/12(水)07:41 ID:8axgfTbD(10/19) AAS
>>270
＞ ０．００００…０＝０．００００…１はあらゆる計算「のルールで正しい
なるほど、極限を取る話か
lim n→∞ ０．００００…０＝lim n→∞ ０．００００…１
は正しいな
288(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/02/12(水)07:47 ID:8axgfTbD(11/19) AAS
>>278
＞私の方法で初等的にフェルマー予想をするのには限界があった。
おっちゃん、どうも、スレ主です。
フェルマー予想の初等的証明などに、手を付けない方が良いと思うよ
フェルマー予想の歴史を調べればわかりそうだが
おっと、おっちゃんは、文献読まない主義だったな（＾＾；
289(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/02/12(水)07:51 ID:8axgfTbD(12/19) AAS
>>266 補足
>要するに、任意の有限地図 (有限グラフ) に対する４色定理から
>コンパクト性定理により、「４色定理は無限個の国を持つ地図でも成立する」ってこと
>だから、>>246より 任意の有限部分族が独立のとき→確率変数の無限族は独立
>（「”確率変数の無限族の独立性の微妙さ”などと時枝氏は言ってるが，これは全くの的外れ」）
簡単な話です
”任意の有限部分族が独立のとき→確率変数の無限族は独立”という定義は
省4
290(1): 2020/02/12(水)07:53 ID:xOqnz3XM(5/15) AAS
>>288
フェルマー予想のことは殆ど知らないこともあり、
外部ﾘﾝｸ:ja.wikipedia.org
を参考にして>>278を書いただけなのに、>>283を書く人間が出て来て困る。
291(5): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/02/12(水)08:04 ID:8axgfTbD(13/19) AAS
>>32
戻る
時枝さん、あの記事で４つくらい外している
1つは、確率変数の無限族の独立性
スレ20 2chｽﾚ:math
”確率変数の無限族の独立性の微妙さ”などと時枝氏は言ってるが，これは全くの的外れ
も1つは、非可測の話
省25
292(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/02/12(水)08:15 ID:8axgfTbD(14/19) AAS
>>290
>フェルマー予想のことは殆ど知らないこともあり、
>外部ﾘﾝｸ:ja.wikipedia.org
>を参考にして>>278を書いただけなのに、>>283を書く人間が出て来て困る。
おっちゃん、どうも、スレ主です。
それが、”うかつ”でしょ
wikipediaには、多くの初等的な失敗は書かれていない
省3
293(1): 2020/02/12(水)08:23 ID:xOqnz3XM(6/15) AAS
>>292
フェルマー予想の初等的証明は有名な数学のトンデモの1つに挙げられている。
そういうことからも、私は元々無理な挑戦をしていた訳。
294: 2020/02/12(水)08:34 ID:xOqnz3XM(7/15) AAS
>>283のような偉そうなことを書くなら、>>283にはフェルマー予想の初等的証明をしてみてほしい。
多分ムリな話で終わる。
295(2): 2020/02/12(水)09:16 ID:NeiqDepY(2/4) AAS
>>293
認めるなら「γの有理性を証明した」が誤りであることも認めろ
これまでに自分が証明した数学上の新しい成果など皆無であることを認めろ
それ以前に証明・推論がめちゃくちゃでやってる内容が全く数学になってないがな
肝心なところは認めないで、数学的な真実より自我を優先している点で
乙と瀬田は共に知の欺瞞者である。
296: 2020/02/12(水)09:23 ID:xOqnz3XM(8/15) AAS
>>295
すぐキレた。やはりフェルマー予想の初等的証明は幾ら何でもムリ。
「γの有理性」はまだ論文にしていないので、公式には証明されていないことになる。
297: 2020/02/12(水)09:29 ID:xOqnz3XM(9/15) AAS
一般には、現在は、直観主義の論理は使わない。
直観主義の論理で議論して証明するには、逆に前提知識に数理論理の知識が必要になるようだしな。
298(1): 2020/02/12(水)09:29 ID:NeiqDepY(3/4) AAS
FLTとか難問は言うまでもないことだが
初等的に解ける「練習問題」さえ解けないのが乙。
未解決問題では「誰もが（あるいはほとんどのひとが）解けない」という点で平等だが
おまえが「数学ができない」という事実はそんなレベルの話じゃない。
299(1): 2020/02/12(水)09:37 ID:xOqnz3XM(10/15) AAS
>>298
>初等的に解ける「練習問題」さえ解けないのが乙。
5チャンに丁寧に解答を書いている人物はどちらかというと少ない。
多くの人は、紙で準備した後にそれを基にして答案を書く。
300: 2020/02/12(水)09:43 ID:NeiqDepY(4/4) AAS
つまり乙と瀬田は似たもの同士で慣れ合ってるのがお似合いなんだが
このスレは一旦閉じて、目立たないところでやるべきだな。
上下前次1-新書関写板覧索設栞歴
あと 702 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.052s