ハイパーコンピュータ
チューリング機械よりも強力なモデルは、1939年のアラン・チューリングの論文 Systems of logic based on ordinals に登場した。この論文は、自然数から自然数への任意の(再帰的でない)所与の関数を計算できる神託機械を持つ数学的システムを研究したものであった。(神託機械も参照のこと。)彼はこのような機械を想定することで、このようなより強力なシステムであっても、依然として決定不可能性が存在することを証明した。チューリングは、神託機械を数学的抽象のために導入したのであって、それが物理的に実現可能とは思っていなかった。