形式的な論理学をある程度学ぶと、常に真であることと証明が可能であることの関連性についての話が登場する。普通に考えると「正しい」ものは「証明可能」であり、また逆に 「証明可能」なものは「ただしい」ということができそうだ。ゲーデルの完全性定理は…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。