[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 33 (1002ﾚｽ)

Inter-universal geometry と ABC予想 33 http://rio2016.5ch.net/test/read.cgi/math/1539459427/

上下前次1-新
通常表示 512ﾊﾞｲﾄ分割 ﾚｽ栞

---

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

---

222: １３２人目の素数さん [sage] 2018/10/16(火) 03:05:42.10 ID:EKov27CT >>221 >https://en.wikipedia.org/wiki/Absoluteness おお、これすごい！ こんな定理あるんや。 基礎論かじったくらいしかないけど 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とかは不完全性定理の “それ自身もその否定も証明不能である命題にはなりえない” と解釈していいの？ http://rio2016.5ch.net/test/read.cgi/math/1539459427/222

---

ﾒﾓ帳

(0/65535文字)

---

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

---

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

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.009s