Hiperkomputer

Z Wikipedii, wolnej encyklopedii
Skocz do: nawigacja, szukaj

Hiperkomputer – hipotetyczny komputer potrafiący wykonywać algorytmy, których nie jest w stanie wykonać maszyna Turinga. Potrafi on 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 ludzi. Według niektórych filozofów hiperobliczenia przeprowadza mózg[1][2], według innych – życie na wszystkich poziomach złożoności i ewolucja są ich przykładem[3]. Niewykluczone, że zaawansowany komputer kwantowy byłby hiperkomputerem. Istnieje również pogląd, że w odpowiednich warunkach maszyny Turinga mogą zachowywać się jak hiperkomputery. Próbuje się też dowodzić, że w czasoprzestrzeni o innych właściwościach niż ta istniejąca hiperobliczenia byłyby dużo łatwiejsze[4].

Przypisy

  1. Ben Goertzel: MIGHT HUMAN-LIKE INTELLIGENCE REQUIRE HYPERCOMPUTATION? (ang.). goertzel.org. [dostęp 2017-06-18].
  2. Gert-Jan C. Lokhorst: HYPERCOMPUTATION (ang.). University of Helsinki, 2001-05-16. [dostęp 2017-06-18].
  3. Carlos E. Maldonado, Nelson A. Gómez Cruz: Biological hypercomputation: A new research problem in complexity theory (ang.). 2014-04-17. [dostęp 2017-06-18].
  4. Mike Stannet: Towards Formal Verification of Computations and Hypercomputations in Relativistic Physics (ang.). link.springer.com, 2015-08-30. [dostęp 2017-06-18].