ハイパーコンピュータ
このチューリング機械は、停止しない計算において極限順序数に達したときに特別な状態に遷移して完了し、そこまでの無限の計算の結果が利用可能という点以外は普通のチューリング機械である。
実数コンピュータ(理想のアナログコンピュータ)を Hypercomputation に使うこともある。これには物理定数(例えばチャイティンの定数)を無限の精度で与えるといった考慮が必要と考えられ、少なくとも熱雑音や量子効果があったとしても任意の精度で実数の物理的値を測定できる必要がある。
量子力学系の状態の無限な重ね合わせを使って、非計算可能関数を計算する。ただし、標準的な量子ビットを使った量子コンピュータはチューリング還元可能(計算を高速化できても、これまで解けなかった問題は解けない)と一般に予想されているため、ハイパーコンピュータとしては使えないと考えられている。
無制限の非決定性と呼ばれる技法を使って非計算可能関数を計算できるのではないかとも言われている。ただし、その無矛盾性や計算能力には疑問も投げかけられている。
今のところ、ハイパーコンピュータを実際に作ることは不可能とされており、概念が提示されるのみに留まっている。