不完全性定理

プログラマのための「ゲーデルの不完全性定理」(2)：速攻速習編
「停止問題」について。
せっかちなのでおいしいところだけつまみ食い。
なるほど。Trueのときは無限ループで返らない。矛盾やねぇ。
自分自身が引数に入っているから自己言及になって、Trueは返らなくしているから真偽の反転がある・・・てことかな（いいかげん）。
これも自己言及のパラドックス？
あ、パッチが出てる。
緊急パッチ