Inter-universal geometry と ABC予想 (応援スレ) 74 (895ﾚｽ)

Inter-universal geometry と ABC予想 (応援スレ) 74 http://rio2016.5ch.net/test/read.cgi/math/1755784703/

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

---

746: １３２人目の素数さん [] 2025/09/04(木) 14:39:00.86 ID:ggAcMhRe >>738 ＞ゲーデルの加速定理 ＞『n階算術の体系で証明可能な命題であって、n+1階算術ではより短い証明を持つものが存在する』 「n階算術の体系で証明可能な任意の命題は、n+1階算術ではより短い証明を持つ」ではないことに注意 まあ、そもそも ◆yH25M02vWFhP は「０階論理」（命題論理）レベルだけどな ＞時代は、 ＞脱一階述語論理 ＞だと思うよ ＞脱一階述語論理 ＞を進めないと ＞人は 数学AIに勝てないだろう ◆yH25M02vWFhP は 脱命題論理を進めないと （大卒の）人間になれない AとBの両方を証明しないと A∧Bは証明できない という命題論理脳のまま ∀x.P(x)を証明するには すべてのxを列挙して、 それぞれのP(x)を証明しつくさないといけない とか考えるようではAIに勝てない 竹槍？そんなん核爆弾で焼かれるだけ（笑） http://rio2016.5ch.net/test/read.cgi/math/1755784703/746

---

ﾒﾓ帳

(0/65535文字)

---

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

---

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

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.009s