[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 77 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
534: 11/08(土)20:09 ID:3nB+TfKS(10/11) AAS
ヒルベルトの第10問題の否定的解決の系として、
ZFCでは解の非存在が証明できないような不定方程式が存在する
ここであえて「解の非存在」と書いたのは
解が存在すれば、具体的にそれを示せば証明となるからである
解の非存在が証明できない、というのは、具体的には
「標準モデルでは解が存在しないが、
解が存在するような超準モデルが存在する」
ということである。
超準モデルによる解は当然超準的自然数であって
標準的自然数（つまりどのモデルにも存在する自然数）ではない
上下前次1-新書関写板覧索設栞歴
あと 468 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.017s