Dlaczego umarły badania nad hiper-obliczeniami?

18

W latach 90. widzę wiele badań nad hiper-obliczeniami , ale w ostatnich latach wydaje się, że niewiele jest pracy na ten temat. Czy to prawda, że ​​badania w tej dziedzinie wygasły? Jeśli tak, jakie mogą być tego przyczyny? Czy ten obszar przekonująco okazał się mało obiecujący?

reference-request computability hypercomputation Velvet Ghost
źródło
6
Trzecie międzynarodowe warsztaty hiperkomputerowe
Marzio De Biasi
Velvet Ghost zapytał:> czy to prawda, że ​​Bekenstein Bound obala ...? Cóż, jest na to dobry argument, ponieważ ogranicza on informacje w przestrzeni kosmicznej w wyniku Prawa Murphy'ego.
1
W pobliżu nie było żadnych czarnych dziur, do których można by wysłać maszynę Turinga.
Andrej Bauer

Odpowiedzi:

19

Byłoby lepiej, gdybyś dokładnie określił, co masz na myśli przez hiper-obliczenia i przedstawił dowody, dlaczego uważasz, że to „umarło”.

W każdym razie, zakładając, że mówisz o obliczeniach funkcji na liczbach naturalnych (i ciągach skończonych) (ponieważ myślę, że jasne jest, że modele obliczeń wyższego typu są bardzo aktywnym obszarem, np. CCA ) i modele obliczeń nie równoważne z obliczalność zdefiniowana przez maszyny Turinga , nie sądzę, aby twierdzenie było poprawne, na przykład zobacz CiE'05 i CiE'11. Zobacz także krytykę przeciwko twierdzeniu, że hiper-obliczenia to coś nowego:

Jeśli jesteś zainteresowany, trwa dyskusja na temat listy mailingowej FOM, poczynając od e-maila Timothy'ego Chowa na temat artykułu Martina Davisa.

Kaveh
źródło
Bardzo dziękuję za tę bardzo pouczającą odpowiedź. Szczerze mówiąc, moją jedyną znajomością hiperkomputerów jest praca Siegelmanna nad mocą obliczeniową sieci neuronowych w połowie lat 90. - i jej dowód, że konkretna sieć neuronowa (analogowa nawracająca NN) jest hiperkomputerowa. Kluczem do jego mocy hiper-obliczeniowej jest jej natura analogowa - może mieć wagi, które są liczbami PRAWDZIWYMI. Odniosłem się więc do podpola hiperkomputera znanego jako Real Computation .
Velvet Ghost
Przeczytałem wcześniej artykuły Martina Davisa i to właśnie one sprawiły, że zacząłem myśleć, że hiper-obliczenia nie są modne. Btw ... czy to prawda, że ​​granica Bekensteina odrzuca jakąkolwiek możliwość obliczeń analogowych w tym wszechświecie?
Velvet Ghost
6

Odbyło się kilka ostatnich konferencji na temat obliczeń infinitarnych, w których poruszono wiele tematów w hiperkomputerach.

Ponadto na wielu konferencjach CiE odbyły się specjalne sesje dotyczące obliczeń bezosobowych.

JDH
źródło
2

Nie sądzę, że to prawda. Przeszukanie w Arxivie artykułów na temat hiperkomputerów daje sporo trafień.

Joshua Herman
źródło
9
Hyperkomputer odnosi się do modeli obliczeniowych, które są bardziej wydajne niż obliczenia Turinga (patrz np. Wikipedia), podczas gdy oba PostBQP = PP i P_CTC = PSPACE są z pewnością obliczalne.
Martin Schwarz
Zaczynam myśleć, że masz rację, Joshua. Dziękuję również za ten link.
Velvet Ghost