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