[過去ログ]
基礎論者「ゲーデルの不完全性定理は間違った解説が多い」←どうでもよくね? (645レス)
基礎論者「ゲーデルの不完全性定理は間違った解説が多い」←どうでもよくね? http://rio2016.5ch.net/test/read.cgi/math/1715891446/
上
下
前次
1-
新
通常表示
512バイト分割
レス栞
抽出解除
必死チェッカー(本家)
(べ)
自ID
レス栞
あぼーん
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
582: 132人目の素数さん [] 2024/08/02(金) 15:52:00.30 ID:MXekPBqx >>581 正しく理解した場合 以下の通り 第一 帰納的に公理化された自然数論では、決定不能な命題が存在する 第二 帰納的に公理化された自然数論において無矛盾性を表す命題は、決定不能命題である 特に第二不完全性定理は 「自然数論において無矛盾性を表すと考えられる命題の否定を追加した公理系も無矛盾」 ということになるので、「無矛盾なら、無矛盾性を表す命題は真じゃん!」と考える ナイーブかつイノセントな方々を混乱させ数学(論理学)に対する不信を招く(笑) http://rio2016.5ch.net/test/read.cgi/math/1715891446/582
メモ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.021s