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...
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...
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...