2013-09-01から1ヶ月間の記事一覧

『不完全性定理とは何か』(竹内薫著、13年4月刊講談社ブルーバックス)という本

読んで、なるほどと思う文章に出逢いました。 その前に・・ コンピュータが、いわゆるフリーズ状態になった時、コンピュータの計算が無限ループ陥っているのか、あるいは、計算に時間がかかっているだけで、将来は計算が終わるのか、知る方法はあるのでしょ…