Teoretyczne informatyka hypercomputation

10

Przepraszam za chwytliwy tytuł. Chcę zrozumieć, co należy zrobić, aby obalić tezę Turinga? Gdzieś czytam, że jest to matematycznie niemożliwe! Dlaczego? Turing, Rosser itp. Użyli różnych terminów, aby rozróżnić: „co można obliczyć” i „co można obliczyć za pomocą maszyny Turinga”. Definicja Turinga z 1939 r. Jest następująca: „Użyjemy wyrażenia„ funkcja …

83 computability proofs hypercomputation

3

Dlaczego umarły badania nad hiper-obliczeniami?

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?

18 reference-request computability hypercomputation

3

W jaki sposób modele hiper obliczeń pokonują problem zatrzymania?

Hyperkomputer odnosi się do modeli obliczeniowych, których nie można symulować za pomocą maszyn Turinga. (Hyperkomputery niekoniecznie są fizycznie możliwe do zrealizowania!) Niektóre hiperkomputery mają dostęp do zasobu, który pozwala na rozwiązanie problemu zatrzymania dla standardowych maszyn Turinga. Nazwij to „supermocarstwem”: hiperkomputer z supermocarstwem może zdecydować, czy zakończy się jakakolwiek standardowa …

17 computability hypercomputation

Pytania otagowane jako hypercomputation