[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 33 (1002ﾚｽ)
上下前次1-新

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

222: 2018/10/16(火)03:05 ID:EKov27CT(1) AAS
>>221
>外部ﾘﾝｸ:en.wikipedia.org
おお、これすごい！
こんな定理あるんや。
基礎論かじったくらいしかないけど
Thus it is not possible to use forcing to change the truth value of arithmetical sentences,
as forcing does not change the ordinals of the model to which it is applied.
Many famous open problems, such as the Riemann hypothesis and the P = NP problem,
can be expressed as {¥displaystyle ¥Pi _{2}^{1}} ¥Pi _{2}^{1} sentences (or sentences of lower complexity),
and thus cannot be proven independent of ZFC by forcing.
ってつまりRHとかは不完全性定理の “それ自身もその否定も証明不能である命題にはなりえない” と解釈していいの？

---

上下前次1-新書関写板覧索設栞歴

---

あと 780 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 0.011s