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