[過去ﾛｸﾞ] 基礎論者「ゲーデルの不完全性定理は間違った解説が多い」←どうでもよくね？ (645ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞

---

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

---

13(1): 2024/05/17(金)15:51 ID:vgmtt5LQ(1) AAS
>>9
チャイティンがLispで証明を与えたけど、あれこそそのものズバリではある
あと、直観的には嘘つきのパラドックスから入ること自体はいい
Lisperが再帰性と嘘つきのパラドックスを考慮すれば大体読解する準備はできる

---

14(2): 2024/05/17(金)16:41 ID:8J1SvHyM(1) AAS
>>13
嘘つきのパラドックスの意義自体は否定しない
ゲーデルも不完全性定理の前に真偽定義の不能性に気づいていたといわれている
しかしもしそれを始めに示したとしてもなんか煙に巻かれた気分だろう
やはり証明可能性述語をガッチリと構築してこそ意義があるというものだ

ちなみにチャイティンは自分のアイデアに溺れすぎてる気がする

---

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

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 2.300s*