『不完全性定理とはなにか (ブルーバックス)』では「チューリング機械の停止問題」を参考にして「不完全性定理」を考えるということなので、前回は「チューリング機械の停止問題」について調べてみました。チューリング機械を扱うのではなく、無限のメモリー…

ここの主な目的はサーバーのプログラムをブラウザーから更新できるようにするための理論を考えることです。ブログなどではブラウザーから更新することができるのですが、サーバーのプログラムを更新するというものではないため、多くの人がブログなどを書い…

『不完全性定理とはなにか (ブルーバックス)』という本を見ると、不完全性定理について調べるためのヒントがいろいろ書かれていたので少し調べてみようと思います。また、ビジュアルプログラミングで何かやる例にすることができるかもしれないと考えています…