Hiperkomputer: Różnice pomiędzy wersjami
| [wersja przejrzana] | [wersja przejrzana] |
m drobne techniczne |
m →Przypisy: drobne techniczne |
||
| Linia 10: | Linia 10: | ||
<ref name="goertzel">{{Cytuj stronę | url = http://goertzel.org/papers/CognitiveInformaticsHypercomputationPaper.pdf | tytuł = MIGHT HUMAN-LIKE INTELLIGENCE REQUIRE HYPERCOMPUTATION? | nazwisko = Goertzel | imię = Ben | opublikowany = goertzel.org | język = en | data dostępu = 2017-06-18}}</ref> |
<ref name="goertzel">{{Cytuj stronę | url = http://goertzel.org/papers/CognitiveInformaticsHypercomputationPaper.pdf | tytuł = MIGHT HUMAN-LIKE INTELLIGENCE REQUIRE HYPERCOMPUTATION? | nazwisko = Goertzel | imię = Ben | opublikowany = goertzel.org | język = en | data dostępu = 2017-06-18}}</ref> |
||
<ref name="onlinelibrary">{{Cytuj stronę | url = http://onlinelibrary.wiley.com/doi/10.1002/cplx.21535/abstract | tytuł = Biological hypercomputation: A new research problem in complexity theory | nazwisko = Maldonado | imię = Carlos E. | nazwisko2 = Cruz | imię2 = Nelson A. Gómez | data = 2014-04-17 | język = en | data dostępu = 2017-06-18}}</ref> |
<ref name="onlinelibrary">{{Cytuj stronę | url = http://onlinelibrary.wiley.com/doi/10.1002/cplx.21535/abstract | tytuł = Biological hypercomputation: A new research problem in complexity theory | nazwisko = Maldonado | imię = Carlos E. | nazwisko2 = Cruz | imię2 = Nelson A. Gómez | data = 2014-04-17 | język = en | data dostępu = 2017-06-18}}</ref> |
||
<ref name="springer">{{Cytuj |
<ref name="springer">{{Cytuj pismo | tytuł = Towards Formal Verification of Computations and Hypercomputations in Relativistic Physics | nazwisko = Stannet | imię = Mike | data = 2015-08-30 | wydawca= Springer | język = en | data dostępu = 2017-06-18 |doi=10.1007/978-3-319-23111-2_2 |isbn=978-3-319-23110-5}}</ref> |
||
}} |
}} |
||
Wersja z 23:25, 15 cze 2018
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
- ↑ 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. 2014-04-17. [dostęp 2017-06-18]. (ang.).
- ↑ Mike Stannet. Towards Formal Verification of Computations and Hypercomputations in Relativistic Physics. , 2015-08-30. Springer. DOI: 10.1007/978-3-319-23111-2_2. (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].