基礎論者「ゲーデルの不完全性定理は間違った解説が多い」←どうでもよくね？ (645ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
539(1): 2024/05/25(土) 18:00:02.52 ID:43OvMs57(59/67)調 AAS
爆発律に固執してる時点でズブの素人っぽい
シェファードソンはなんか名前言ってみたかっただけっぽい
540: 2024/05/25(土) 18:03:39.46 ID:VeOj487N(121/136)調 AAS
>>539
体系内
- 自明な正しさ:正しいから正しい(トートロジー)→当たり前すぎて無意味
- 非自明な正しさ:体系の公理が矛盾を導かない(無矛盾性)→ゲーデルの第一不完全性定理により不可能
体系外
- 科学の正しさ:体系A(現実世界)と体系B(公理からなる仮説)の一致→唯一残された可能で非自明(意味のある)な正しさ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 1.716s*