[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 76 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
683(1): 2025/10/22(水)18:56 ID:KJt5+YdT(3/3) AAS
どうも、カラスは、「理論のモデルは１つしかない」と思ってるようだ
もちろん、完全な誤りである
自然数論の不完全性定理というのは
「自然数論のモデルでは真であるが、証明できない命題がある」
というものではない
証明も反証もできない命題は、それが真であるモデルと偽であるモデルがある
ゲーデル命題Ｇが偽であるモデルもある
そのようなモデルでは任意の命題についてその”証明”となる自然数が存在する
もちろんその自然数は標準的な自然数（つまりいかなるモデルでも存在する自然数）ではなく
超準的な自然数（つまり別のモデルでは存在しないようなもの）である
省6
688(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2025/10/23(木)11:54 ID:90YWbZUz(2/6) AAS
>>680-685
テンプレ>>14より
「ごーまんかましてよかですか?」
「アホな同僚や相手に構うことほど、人生ムダなことはないよね」
by レトリカ・ブログ （学院長 川上貴裕）
百回音読しましょう！ｗ
こいつら、あたま腐っているなｗ
みなさん 感染ら(うつら）ないようにしましょうねｗｗ ；ｐ）
(参考)
外部ﾘﾝｸ:dic.pixiv.net
省22
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.310s*