[過去ﾛｸﾞ] 基礎論者「ゲーデルの不完全性定理は間違った解説が多い」←どうでもよくね？ (645ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
231(2): 2024/05/23(木)14:12 ID:C5I/LwRF(4/9) AAS
>>225
>非自明な正しさ:体系の公理が矛盾を導かない(無矛盾性)
上記の定義では、Aも¬Aも「非自明に正しい」（つまり矛盾を導かない）ということがあるって分かる？
233(2): 2024/05/23(木)14:14 ID:57Sqch+C(155/218) AAS
>>231
そういうゲーデル完全な系は考える意味がない
有用性が無さすぎるし使えなさ過ぎる
237(8): 2024/05/23(木)14:17 ID:C5I/LwRF(6/9) AAS
>>225
> 非自明な正しさ:体系の公理が矛盾を導かない(無矛盾性)
>>231
>>上記の定義では、Aも¬Aも「非自明に正しい」（つまり矛盾を導かない）ということがあるって分かる？
>>233
> そういうゲーデル完全な系は考える意味がない
ゲーデル完全？なにその新奇語
省2
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.023s