このブログの更新は Twitterアカウント @m_hiyama で通知されます。
Follow @m_hiyama

メールでのご連絡は hiyama{at}chimaira{dot}org まで。

はじめてのメールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。

参照用 記事

2006-01-17から1日間の記事一覧

プログラマのための「ゲーデルの不完全性定理」(3):自己適用からゲーデル化へ

前回(第2回)、1回でも完結する形で、停止問題と不完全性定理のオーバービューを与えました。これはこれで分かりやすく全体像を見渡せるから書いて良かったな、と思っています。がしかし、前回のような説明に、僕自身は不満も感じるんですよね。そこらへん…