[過去ﾛｸﾞ] Interｰuniversal geometryとABC予想(応用スレ)51 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
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
キチガイもたまには役に立ててこその数学だ。キチガイよ、昨日は勉強になった。お前はまるで理解しなくとも、お前は数学者の言葉を適切につたえてくれた。
もう、お前に用はない、棺桶でもみがいておけ。
979(1): 2021/02/20(土)11:49 ID:+Wu9Px2F(13/21) AAS
>>977
お前は、知識を並べただけで、
論理だててはいない。
それがどうした？
構成主義のおこりなどの話など誰も聞いてはおらん。
980(1): 2021/02/20(土)12:13 ID:c8yOLip1(54/65) AAS
>>979
論理だて？考えればわかるけど
もし、自然数から自然数への関数に最小値が存在しないとすると
任意のｘについて ｘ＜ｙとなるｙが存在して、ｆ（ｘ）＞ｆ（ｙ）となる
したがって、ｆ（０）からの無限降下列が存在する
しかし、自然数は整列集合であるから
いかなるｎについてもｎから０への降下列は有限長
したがって矛盾
これ基本ね
照井一成「コンピュータは数学者になれるのか」にも出てくるから
省1
981(1): 2021/02/20(土)12:17 ID:8luvRSjF(1) AAS
>>952
>p進数のような、
>有限体で、掛け算と足し算をとっかえるのではないかというアイデア自体は、面白い。
>
>有限体は「ねじれて」いるわけだから、
>IUT などせずとももしかしたらそのあたりを深く突き詰めると良いようにも思うし、根本的にまちがっている気がしないでもない。
デタラメ。そもそもp進数には「ねじれ」なんてないけど。
有限体とp進数を混同するとかありえないから。
ID:c8yOLip1は、あんまりまともに相手にするのはやめなよ。
ID:+Wu9Px2Fは用語をこねくり回してるだけのド素人だから。
982: 2021/02/20(土)12:18 ID:+Wu9Px2F(14/21) AAS
>>981
それは、そうだ、有限体をつなげて極限をとったものだ。
アイデアの話もできんおこちゃまに用はない。棺桶へいけ。
983: complete idiot ◆OHIXyLapqc 2021/02/20(土)12:19 ID:c8yOLip1(55/65) AAS
ちなみにヒルベルトの基底定理で具体的に基底を計算する方法については
例えばグレブナー基底に関するブッフバーガーアルゴリズムを参照されたし
とはいえ「自然数から自然数への関数の最小値」を求めるアルゴリズムは
まだ聞いたことないし、おそらくないだろう（ほんまけ？ｗ）
上下前次1-新書関写板覧索設栞歴
あと 19 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.011s