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

  1. ↑ Ben Goertzel: MIGHT HUMAN-LIKE INTELLIGENCE REQUIRE HYPERCOMPUTATION?. goertzel.org. [dostęp 2017-06-18]. (ang.).
  2. ↑ Gert-Jan C. Lokhorst: HYPERCOMPUTATION. University of Helsinki, 2001-05-16. [dostęp 2017-06-18]. (ang.).
  3. ↑ 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.). 
  4. ↑ 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.).
  5. ↑ Scott Aaronson, PDQP/qpoly = ALL, „arXiv”, 22 maja 2018, arXiv:1805.08577 [dostęp 2018-06-15].
  6. ↑ Joseph Fitzsimons, Zhengfeng Ji, Thomas Vidick, Henry Yuen, Quantum proof systems for iterated exponential time, and beyond, „arXiv”, 30 maja 2018, arXiv:1805.12166 [dostęp 2018-06-15].

Content Disclaimer

Informasi ini disarikan dari Wikipedia dan disajikan kembali untuk tujuan edukasi. Konten tersedia di bawah lisensi CC BY-SA 3.0. Kami tidak bertanggung jawab atas ketidakakuratan data yang bersumber dari kontribusi publik tersebut.

  1. The information displayed on this website is sourced in part or in whole from Wikipedia and has been adapted for the purpose of restating it. We strive to provide accurate and relevant information, however:
  2. There is no guarantee of absolute accuracy. Wikipedia is an open, collaborative project that can be edited by anyone, so information is subject to change.
  3. It is not intended to constitute professional advice. The content displayed is for informational and educational purposes only. For important decisions (e.g., medical, legal, or financial), please consult a professional.
  4. Content copyright. Wikipedia is licensed under the Creative Commons Attribution-ShareAlike License (CC BY-SA). This means that content may be reused with appropriate attribution and shared under a similar license.
  5. Responsible use. Any risk arising from the use of information from this website is entirely the responsibility of the user.