«Гиперкомпьютер» — это воображаемое устройство, необходимое для ответа на какой-то четкий вопрос, на который невозможно ответить в пределах сколь угодно больших конечных компьютеров. Например, если у вас есть вопрос, который зависит от общего решения проблемы остановки, то мы говорим, что для решения этой проблемы требуется гиперкомпьютер, в частности оракул остановки уровня 1. (Если вам нужно определить, останавливаются ли оракулы остановки уровня 1, вам понадобится оракул остановки уровня 2, который мы тоже называем «гиперкомпьютером».)

Исключительно маловероятно, что когда-либо обнаружатся встроенные в нашу физическую вселенную гиперкомпьютеры. Термин «гиперкомпьютер» существует просто как ярлык, чтобы мы могли говорить вещи типа «если бы у нас был гиперкомпьютер и мы запустили бы эту (невозможную) программу, каковы были бы последствия?»

Для некоторых примеров иллюстрирующего идею кода, которому нужен был бы гиперкомпьютер для реального запуска, см. индукцию Соломонова и AIXI.

Неограниченный анализ агентов иногда требует использования гиперкомпьютеров, поскольку это позволяет нам говорить о нескольких агентах с легко описываемыми связями знаний друг с другом. К примеру, мы можем говорить об агенте $X$, использующем слабый гиперкомпьютер и сильную систему логического вывода, и агенте $Y$ с сильным гиперкомпьютером, но более слабой системой вывода, чтобы описать сценарий, в котором $Y$ может напрямую моделировать агента $X$ и предсказывать его действия, а $X$ может доказывать какие-либо факты об $Y$. В этом случае мы не пытаемся сказать, что отношения между агентами $X$ и $Y$ по сути требуют от них невероятных вычислительных способностей. Мы просто используем нефизический сценарий для четкого кодирования межагентных отношений, которые нам по какой-то причине кажутся интересными, и который позволяет этим межагентным отношениям иметь последствия, о которых мы могли бы что-то легко доказывать.

См. также статью о гипервычислениях на Википедии.