Hiperkomputer
Hiperkomputer - hipotetyczna maszyna obliczeniowa (komputer) dysponująca większą mocą obliczeniową, niż maszyna Turinga, tzn. taka, która potrafi wykonywać algorytmy, których nie jest w stanie wykonać maszyna Turinga. Mówimy, że potrafią one wykonywać hiperobliczenia, w odróżnieniu od "zwykłych" obliczeń, które wykonują maszyny Turinga.
Problem teoretycznej możliwości istnienia hiperkomputerów jest współcześnie szeroko dyskutowany w teorii obliczeń i nie ma jasności, czy pozwalają na to chociażby prawa fizyki rządzące naszym światem. Wszystkie dotychczasowe koncepcje zbudowania takich maszyn wydają się, poza pewnymi niejasnościami teoretycznymi, wymagać technologii będących poza zasięgiem naszej cywilizacji w przewidywalnej przyszłości.