Hiperkomputer
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].
Rozpatrywane są również klasy złożoności, w których każdy problem decyzyjny (wliczając w to problemy nierozstrzygalne) jest rozstrzygalny[5][6].
Przypisy
[edytuj | edytuj kod]- ↑ Ben Goertzel: MIGHT HUMAN-LIKE INTELLIGENCE REQUIRE HYPERCOMPUTATION?. goertzel.org. [dostęp 2017-06-18]. (ang.).
- ↑ Gert-Jan C. Lokhorst: HYPERCOMPUTATION. University of Helsinki, 2001-05-16. [dostęp 2017-06-18]. (ang.).
- ↑ Carlos E. Maldonado, Nelson A. Gómez Cruz. Biological hypercomputation: A new research problem in complexity theory. „Complexity”. 20 (4), 2014-04-17. DOI: 10.1002/cplx.21535. (ang.).
- ↑ Mike Stannet , Towards Formal Verification of Computations and Hypercomputations in Relativistic Physics, „International Conference on Machines, Computations, and Universality MCU 2015: Machines, Computations, and Universality”, Springer, 2015, s. 17-27, DOI: 10.1007/978-3-319-23111-2_2, ISBN 978-3-319-23110-5 [dostęp 2017-06-18] (ang.).
- ↑ Scott Aaronson , PDQP/qpoly = ALL, „arXiv”, 22 maja 2018, arXiv:1805.08577 [dostęp 2018-06-15] .
- ↑ Joseph Fitzsimons i inni, Quantum proof systems for iterated exponential time, and beyond, „arXiv”, 30 maja 2018, arXiv:1805.12166 [dostęp 2018-06-15] .