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
Korzystając z naszej strony potwierdzasz, że przeczytałeś(-aś) i rozumiesz nasze zasady używania plików cookie i zasady ochrony prywatności.
Licensed under cc by-sa 3.0 with attribution required.