ﾚｽ書き込み

ｽﾚへ戻る 写 ﾚｽ栞 ﾚｽ消

---

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

PC,ｽﾏﾎ,PHSは ULA べっかんこ 公式(ｽﾏﾎ) 公式(PC) で書き込んでください｡

名前
ﾒｰﾙ
引用切替：ﾚｽｱﾝｶｰのみ
>>746 > >>738 > ＞ゲーデルの加速定理 > ＞『n階算術の体系で証明可能な命題であって、n+1階算術ではより短い証明を持つものが存在する』 > > 「n階算術の体系で証明可能な任意の命題は、n+1階算術ではより短い証明を持つ」ではないことに注意 > > まあ、そもそも ◆yH25M02vWFhP は「０階論理」（命題論理）レベルだけどな > > ＞時代は、 > ＞脱一階述語論理 > ＞だと思うよ > ＞脱一階述語論理 > ＞を進めないと > ＞人は 数学AIに勝てないだろう > > ◆yH25M02vWFhP は > 脱命題論理を進めないと > （大卒の）人間になれない > > AとBの両方を証明しないと > A∧Bは証明できない > という命題論理脳のまま > ∀x.P(x)を証明するには > すべてのxを列挙して、 > それぞれのP(x)を証明しつくさないといけない > とか考えるようではAIに勝てない > 竹槍？そんなん核爆弾で焼かれるだけ（笑）
ﾛｰｶﾙﾙｰﾙ SETTING.TXT

---

他の携帯ﾌﾞﾗｳｻﾞのﾚｽ書き込みﾌｫｰﾑはこちら｡書き込み設定で書き込みｻｲﾄの設定ができます｡
・ULA
・べっかんこ(身代わりの術)
・べっかんこ(通常)
・公式(ｽﾏﾎ)
・公式(PC)[PC,ｽﾏﾎ,PHS可]

---

書き込み設定(板別)で板別の名前とﾒｰﾙを設定できます｡

---

ﾒﾓ帳

(0/65535文字)

---

上下板覧索設栞歴

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.015s