神託機械
計算不可能とされている計算を行う神託機械を想定することもある。例えばチューリングマシンの停止問題やそれと等価な問題を解ける神託機械である。このようなオラクルを付加された機械をハイパーコンピュータと呼ぶ。
停止問題はそのような機械にも適用される。すなわち、そのような神託機械は、あるチューリングマシンが与えられた入力について停止するかどうかを判定できるが、神託機械自身が与えられた入力について停止するかどうかは判定できない。ここから機械の一種の階層が生み出され、これを算術的階層と呼ぶ。この階層はどこまでいっても判定不能な問題が存在することを示している。
最近の計算機科学での神託機械の応用として、暗号への応用がある。質問に対して無作為だが一貫した答を返す(同じ質問には同じ答を返す)ランダムオラクルがあったとしたとき、非常に安全な一方向性関数として利用できる。すなわちランダムオラクルの出力を得ても、総当り的に入力値を試してみない限り入力を探し出すプログラムは作成できない。これにより非常に強力な暗号ができるが、実際にはランダムオラクルではなく擬似乱数生成器が使われることになる。だが、擬似乱数生成器はランダムオラクルほど安全ではない。