[過去ﾛｸﾞ] Interｰuniversal geometryとABC予想(応用スレ)51 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
959: 2021/02/20(土)11:15 ID:c8yOLip1(43/65) AAS
実閉体や代数的閉体の理論も決定可能
つまり、逆に言うと上記の理論では自然数論は展開できない
これも、分かってない人多いね
実閉体の理論は実数論じゃないし
代数的閉体の理論は複素数論じゃないんだけどね
960: 2021/02/20(土)11:20 ID:c8yOLip1(44/65) AAS
>>952
望月のやってること自体は否定しない
アイデアというのは大体荒唐無稽なものだから
望月に問題があったとすれば
・自分の論文を編集長特権で掲載させようとした疑惑
・他人（ショルツ）の指摘に真摯に向き合わなかった態度
ま、人はみな自惚れ屋で自己中心的ですがね
それを無制限に容認したら破滅するのは自分
961(1): 2021/02/20(土)11:22 ID:c8yOLip1(45/65) AAS
>>952
＞選択公理の虚をついた仕事なんじゃないのか。
いまだに「選択公理」を排除したがる態度の理由が分からない
選択関数が構築できないなら意味がない、といいたいようだが
それは「具体的に計算できないものは無矛盾であっても無意味」
ということかい？
962(1): 2021/02/20(土)11:23 ID:c8yOLip1(46/65) AAS
グロタンディークは別に構成主義者ではないと思うんだが
963(1): 2021/02/20(土)11:27 ID:+Wu9Px2F(4/21) AAS
>>961
複素解析など、具体的に計算できるものは、
有限ステップですべて定義してきたわけだが、
選択公理は、人類の営みとして高々有限的にしか扱えないというタプーを超えている。
パラドクスがおきるのは必然。
964(1): 2021/02/20(土)11:28 ID:c8yOLip1(47/65) AAS
+Wu9Px2F氏は
「自然数から自然数への関数には必ず最小値がある」
という定理は受け入れられない？
上記は、自然数の整列性を利用するが、
どのｘでｆ（ｘ）が最小値になってその値がいくつか
をもとめるアルゴリズムは存在しない
965(1): 2021/02/20(土)11:32 ID:+Wu9Px2F(5/21) AAS
>>962
お前は、構成主義を勘違いしている。
人間が紙面上でしたことは機械でも証明できる。人間が曖昧にしていたところがうきぼりにでる。
966(1): 2021/02/20(土)11:33 ID:c8yOLip1(48/65) AAS
>>963
＞選択公理は、人類の営みとして高々有限的にしか扱えないというタプーを超えている。
＞パラドクスがおきるのは必然。
パラドクスおきてる？
非可測集合の存在もバナッハ・タルスキの定理も
パラドックスではないよね
だいたい、双曲平面では選択公理なしで
バナッハ・タルスキの定理と同じことが証明できる
つまり階数２の自由群の存在を認めれば
パラドシキカルなことが起きるのであって
省1
967(1): 2021/02/20(土)11:34 ID:+Wu9Px2F(6/21) AAS
>>964
それで？
968(1): 2021/02/20(土)11:35 ID:c8yOLip1(49/65) AAS
>>965
＞人間が紙面上でしたことは機械でも証明できる。
そうだね
でもそれは構成主義とは関係ないよ
つまり古典論理を用いようが無限公理や置換公理や選択公理を用いようが構わない
969(1): 2021/02/20(土)11:36 ID:+Wu9Px2F(7/21) AAS
>>966
議論すり替えウンコだな。
漏らしてないか。
970(1): 2021/02/20(土)11:36 ID:+Wu9Px2F(8/21) AAS
>>968
トイレできばりながは一回考えろ。
971(1): 2021/02/20(土)11:37 ID:c8yOLip1(50/65) AAS
>>967
もし、受け入れるとすれば、別に選択公理を排除する必要はないと思うけど
972(1): 2021/02/20(土)11:38 ID:c8yOLip1(51/65) AAS
>>969
すり替えはない
むしろ、あなたがわかってないんじゃない？
>>970
あなたが考えたほうがいいよ
973: 2021/02/20(土)11:39 ID:+Wu9Px2F(9/21) AAS
>>971
「思うけど」
下位互換に要は無い（笑
974(1): 2021/02/20(土)11:41 ID:+Wu9Px2F(10/21) AAS
>>972
キチガイ。
975(1): 2021/02/20(土)11:41 ID:c8yOLip1(52/65) AAS
「自然数から自然数への関数には必ず最小値がある」
これ、構成主義者にとっては認めたくない定理だよね
「自然数から自然数への関数に最小値がないとすると矛盾する」
ここまではいいけど、そこから「二重否定」は取り除けない
なぜなら、具体的に「このｘで最小値ｙをとる」って示せないから
976: 2021/02/20(土)11:44 ID:+Wu9Px2F(11/21) AAS
>>975
１+1=2
これは、キチガイには信じがたい定理だよね。
977(1): 2021/02/20(土)11:45 ID:c8yOLip1(53/65) AAS
>>974
ま、そう発●しないでｗ
「自然数から自然数への関数には必ず最小値がある」
これ、ヒルベルトが基底定理の証明に使ったんだよね
で、そのとき、基底を具体的に構成しなかった
これが、排中律論争の幕開けなんだよね
978: 2021/02/20(土)11:46 ID:+Wu9Px2F(12/21) AAS
キチガイもたまには役に立ててこその数学だ。キチガイよ、昨日は勉強になった。お前はまるで理解しなくとも、お前は数学者の言葉を適切につたえてくれた。
もう、お前に用はない、棺桶でもみがいておけ。
上下前次1-新書関写板覧索設栞歴
あと 24 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.192s