[過去ﾛｸﾞ]
基礎論者「ゲーデルの不完全性定理は間違った解説が多い」←どうでもよくね？ (645ﾚｽ)
基礎論者「ゲーデルの不完全性定理は間違った解説が多い」←どうでもよくね？ http://rio2016.5ch.net/test/read.cgi/math/1715891446/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
231: １３２人目の素数さん [] 2024/05/23(木) 14:12:50.81 ID:C5I/LwRF >>225 >非自明な正しさ:体系の公理が矛盾を導かない(無矛盾性) 上記の定義では、Aも¬Aも「非自明に正しい」（つまり矛盾を導かない）ということがあるって分かる？ http://rio2016.5ch.net/test/read.cgi/math/1715891446/231
233: １３２人目の素数さん [sage] 2024/05/23(木) 14:14:13.13 ID:57Sqch+C >>231 そういうゲーデル完全な系は考える意味がない 有用性が無さすぎるし使えなさ過ぎる http://rio2016.5ch.net/test/read.cgi/math/1715891446/233
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.151s*