2009-01-17から1日間の記事一覧
ゲーデルの第二不完全性定理により、適当な条件を満たす任意の公理系Tについて、Tの無矛盾性を表していると解釈できる文Con(T)が存在して、Con(T)はTにおいて証明不可能です。 これは、命題Aが公理系Tで証明不可能であることを とかくことにすると と表され…
ゲーデルの第二不完全性定理により、適当な条件を満たす任意の公理系Tについて、Tの無矛盾性を表していると解釈できる文Con(T)が存在して、Con(T)はTにおいて証明不可能です。 これは、命題Aが公理系Tで証明不可能であることを とかくことにすると と表され…