Inter-universal geometry と ABC予想 (応援スレ) 74 (881ﾚｽ)
上
下
前
次
1-
新
746
: 09/04(木)14:39
ID:ggAcMhRe(3/4)
AA×
>>738
[240|
320
|
480
|
600
|
100%
|
JPG
|
べ
|
ﾚｽ栞
|
ﾚｽ消
]
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
ゲーデルの加速定理 階算術の体系で証明可能な命題であって階算術ではより短い証明を持つものが存在する 階算術の体系で証明可能な任意の命題は階算術ではより短い証明を持つではないことに注意 まあそもそも は０階論理命題論理レベルだけどな 時代は 脱一階述語論理 だと思うよ 脱一階述語論理 を進めないと 人は 数学に勝てないだろう は 脱命題論理を進めないと 大卒の人間になれない との両方を証明しないと は証明できない という命題論理脳のまま を証明するには すべてのを列挙して それぞれのを証明しつくさないといけない とか考えるようではに勝てない 竹槍？そんなん核爆弾で焼かれるだけ笑
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 135 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
ぬこの手
ぬこTOP
0.053s