『不完全性定理とはなにか (ブルーバックス)』の不完全性定理の証明とチューリング機械の停止問題の証明について考えると、チューリング機械の停止問題の証明ではチューリング機械が停止するかどうか判定できると仮定したのに対して、不完全性定理の証明では…

『不完全性定理とはなにか (ブルーバックス)』の不完全性定理の証明をプログラミング言語を使って書き直していきます。しかし、すべてプログラミング言語のようにはできないので、まずはデータをプログラミング言語の式のように表すことを考えます。 不完全…

「不完全性定理」の証明を書き直そうとしていたら新年になってしまいました。今後の目標を書いていこうと思います。毎年何か書こうと思っていたのですが、PCが壊れてから書いていませんでした。 このブログについて サーバーで永久に動作するプログラムを論…