[過去ﾛｸﾞ]
基礎論者「ゲーデルの不完全性定理は間違った解説が多い」←どうでもよくね？ (645ﾚｽ)
基礎論者「ゲーデルの不完全性定理は間違った解説が多い」←どうでもよくね？ http://rio2016.5ch.net/test/read.cgi/math/1715891446/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
225: １３２人目の素数さん [sage] 2024/05/23(木) 14:08:28.69 ID:57Sqch+C まとめると 体系内 - 自明な正しさ:正しいから正しい(トートロジー)→当たり前すぎて無意味 - 非自明な正しさ:体系の公理が矛盾を導かない(無矛盾性)→ゲーデルの第一不完全性定理により不可能 体系外 - 科学の正しさ:体系A(現実世界)と体系B(公理からなる仮説)の一致→唯一残された可能で非自明(意味のある)な正しさ この非常に簡単過ぎてマトモな科学者なら誰でも知ってる事を 哲学者は1人も知らない 脳障害だからなwwww http://rio2016.5ch.net/test/read.cgi/math/1715891446/225
231: １３２人目の素数さん [] 2024/05/23(木) 14:12:50.81 ID:C5I/LwRF >>225 >非自明な正しさ:体系の公理が矛盾を導かない(無矛盾性) 上記の定義では、Aも¬Aも「非自明に正しい」（つまり矛盾を導かない）ということがあるって分かる？ http://rio2016.5ch.net/test/read.cgi/math/1715891446/231
234: １３２人目の素数さん [] 2024/05/23(木) 14:14:18.93 ID:C5I/LwRF >>225 >科学の正しさ:体系A(現実世界)と体系B(公理からなる仮説)の一致 現実世界を「体系」って言っちゃう時点で、論理分からん素人って分かるなあ http://rio2016.5ch.net/test/read.cgi/math/1715891446/234
237: １３２人目の素数さん [] 2024/05/23(木) 14:17:34.61 ID:C5I/LwRF >>225 > 非自明な正しさ:体系の公理が矛盾を導かない(無矛盾性) >>231 >>上記の定義では、Aも¬Aも「非自明に正しい」（つまり矛盾を導かない）ということがあるって分かる？ >>233 > そういうゲーデル完全な系は考える意味がない ゲーデル完全？なにその新奇語 君にとって、ZFCは考える意味ないのね 一般連続体仮説もその否定も「非自明に正しい」（つまり矛盾を導かない）から http://rio2016.5ch.net/test/read.cgi/math/1715891446/237
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.147s*