[過去ﾛｸﾞ] 基礎論者「ゲーデルの不完全性定理は間違った解説が多い」←どうでもよくね？ (645ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
14(2): 2024/05/17(金)16:41 ID:8J1SvHyM(1) AAS
>>13
嘘つきのパラドックスの意義自体は否定しない
ゲーデルも不完全性定理の前に真偽定義の不能性に気づいていたといわれている
しかしもしそれを始めに示したとしてもなんか煙に巻かれた気分だろう
やはり証明可能性述語をガッチリと構築してこそ意義があるというものだ
ちなみにチャイティンは自分のアイデアに溺れすぎてる気がする
15: 2024/05/17(金)17:01 ID:I4xxpoEn(1/5) AAS
>>14 とはいえ対角化の代わりにベリーのパラドックスを使うというのはいいアイデア
これも「自己言及○○」な人に対する反例を提供する
対角化とかけ算の関係について考えるといろいろ面白い
22: 2024/05/17(金)18:27 ID:F+CEmuPC(1) AAS
>>14
現実のシステムはバグだらけで
形式的にバグがない保証など出来ず
確率論的にシステム障害に怯え続けるほかない。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 1.646s*