ハイパーコンピュータ

ハイパーコンピュータ（）は、非計算可能関数を計算できる仮想的なコンピュータである。ハイパーコンピュータを使った計算を Hypercomputation という。Jack Copeland が生み出した造語である。類似の用語として「超チューリング計算（super-Turing computation）」があるが、ハイパーコンピュータと言った場合には、そのようなコンピュータが物理的に構築可能かもしれないという意味も若干含まれていることがある。実数で重み付けするニューラルネットワーク、無限に多数の計算を同時並行して実施可能なモデル、チューリング機械で計算できないものを計算可能なモデル、などのいくつかのモデルが提案されており、一般に実数値の連続関数の極限や積分を（近似ではなく）全く誤差なく計算できるとされる。
歴史.
チューリング機械よりも強力なモデルは、1939年のアラン・チューリングの論文 "Systems of logic based on ordinals" に登場した。この論文は、自然数から自然数への任意の（再帰的でない）所与の関数を計算できる神託機械を持つ数学的システムを研究したものであった。（神託機械も参照のこと。）彼はこのような機械を想定することで、このようなより強力なシステムであっても、依然として決定不可能性が存在することを証明した。チューリングは、神託機械を数学的抽象のために導入したのであって、それが物理的に実現可能とは思っていなかった。
ハイパーコンピュータの提案.
今のところ、ハイパーコンピュータを実際に作ることは不可能とされており、概念が提示されるのみに留まっている。