2015-09-10から1日間の記事一覧

ゲーデルの定理（2）

仲正昌樹はゲーデルの定理についてこんなことを書いている。「不完全性定理」というのは、「現代思想」の文脈に合わせて簡略化して言うと、いかなる無矛盾な体系においても、その体系自体の中では証明も否定もできない論理式＝命題が存在する、ということで…