[過去ﾛｸﾞ] 基礎論者「ゲーデルの不完全性定理は間違った解説が多い」←どうでもよくね？ (645ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
9(1): 2024/05/17(金)08:56 ID:wEhBKV3+(2/3) AAS
アインシュタインの特殊相対性理論が
「光速不変の原理」に関して言えば
大学初年級の線形代数だというのと
全く同等の意味で
ゲーデルの不完全性定理はつまるところプログラミングの問題
しかも当初の課題（つまり証明が要件を満たしてるか否か）に関しては○か×か確実に判定可能
13(1): 2024/05/17(金)15:51 ID:vgmtt5LQ(1) AAS
>>9
チャイティンがLispで証明を与えたけど、あれこそそのものズバリではある
あと、直観的には嘘つきのパラドックスから入ること自体はいい
Lisperが再帰性と嘘つきのパラドックスを考慮すれば大体読解する準備はできる
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.025s