理論コンピューターサイエンスのゾンビ誤解

マイケル・シプサーのコンピュテーション理論の教え書で、完璧な宿題があります。完璧すぎて、10年以上開かないままの本からでもそれを思い出すことができます。この宿題は次のようです：正しい答えは、fが計算可能であるということです。なぜか？だって定数1の関数が[…]