計算不可能だけど決定論的なこと

ペンローズの“量子脳”理論―心と意識の科学的基礎をもとめて (ちくま学芸文庫)での茂木健一郎さんのあげてた例を簡約にすると

プログラム1が停止するとき→プログラム2の停止判定へ
プログラム1が停止しないとき→プログラム3の停止判定へ

のように状態遷移していくとすると、決定論的ではあるけど計算不可能な状態遷移が構築できるということです。