Church–Turing thesis
ロジャー・ペンローズはチューリングマシンの停止問題を論じることで、チャーチ＝チューリングのテーゼの適用可能性を攻撃し、情報システムでは実行できないが人間の精神には実行できる計算が存在するとした。しかし、これは明らかに計算可能性の問題ではなく、シミュレーションの問題 — すなわち同じ計算を別のテクノロジーで行うという問題である。