Zgarnięcie snooper przelotowych


Original: http://www.lel.ed.ac.uk/~gpullum/loopsnoop.html

Dowód, żeproblem Zatrzymanie jest nierozstrzygalne
Geoffrey K. Pullum
(Szkoła filozofii, psychologii i języka Nauki , Uniwersytet w Edynburgu )

No ogólną procedurę kontroli błędów zrobi .
Teraz nie tylko twierdzą, że ja ci to udowodnić .
Udowodnię , że chociaż może pracować do upadłego ,
nie można stwierdzić, czy obliczenie zatrzyma .

Aby wyobrazić sobie, że mamy procedurę o nazwie P
że dla określonego wkładu pozwala zobaczyć
czy podano kod źródłowy , ze wszystkimi jego wadami ,
określa procedurę, która ostatecznie zatrzymuje .

Karmić w programie , z odpowiednimi danymi ,
i P dostaje się do pracy, achwilę później
( w skończonej obliczeniowej czasie) poprawnie wyprowadza
czy nieskończone zapętlenie zachowanie występuje .

Jeśli nie będzie pętli , a następnie P wypisuje “ Dobra „.
Oznacza to, że praca na tym wejściu zatrzyma , tak jak powinno.
Ale jeśli wykryje niepowstrzymaną pętlę ,
następnie podaje P “ Bad ! “ – co oznacza, że jesteś w zupie .

Cóż,prawda jest taka , że P nie może być ewentualnie ,
bo jeśli to napisał i dał mi ją ,
Można go używać do utworzenia powiązanie logiczne
które rozbić swój powód i wspiąć zdanie.

Otosztuczka , że będę używać – i to jest proste do zrobienia .
Ja określić procedury , które będę nazywał Q ,
, że będzie korzystać z P w przepowiednie powstrzymania sukces
poruszyć straszny logiczne bałagan.

Dla określonego programu , powiedzmy, jeden dostaw ,
Pierwszy etap tego programu o nazwie Q I opracowania
jest , aby dowiedzieć się od P , co jest słuszną rzeczą powiedzieć
z pętli zachowanie biegu na A.

Jeśli odpowiedź P jest “ Bad ! “ Q nagle zatrzymać.
Ale inaczej, Q będzie wrócić na górę ,
i rozpocząć ponownie , pętli bez końca z powrotem ,
ażwszechświat umiera i zamienia zamrożone i czarny .

A ten program o nazwie Q nie zatrzymam się na półce ;
Chciałbym prosić go prognozować swój bieg na siebie .
Kiedy czyta swój własny kod źródłowy, tylko to, co będzie robić ?
Co jest wpętli zachowanie Q biegu na Q?

Jeśli P ostrzega nieskończone pętle , Q wyjdzie ;
ale P ma mówić szczerze o tym!
A jeśli Q będzie zamknąć, a następnie P powinien powiedzieć: “ Dobry „.
Co sprawia, że ​​Q początku do pętli ! (P zaprzeczył, że tak. )

Bez względu na to , jak P może wykonać , Q będzie zgarnąć go:
Q wykorzystuje moc P , aby uczynić P głupków .
Cokolwiek P mówi , że nie można przewidzieć, Q:
P ma rację, że to jest złe i fałszywe , gdy to jest prawda !

Utworzyłem paradoks , zadbane , jak może być –
i po prostu za pomocą swojego domniemanego P.
Kiedy zakładał P wychodziło w sidła ;
Twoje założenie doprowadziło cię do mojego legowiska.

Więc gdzie ten argument może iść?
Nie muszę ci powiedzieć , że jestem pewien, musisz wiedzieć .
Reductio : Nie może być ewentualnie
Procedura, która działa jak mityczny P.

Nigdy nie można znaleźć ogólne środków mechanicznych
przewidywania akty maszyn obliczeniowych ;
to jest coś, czego nie da się zrobić. Tak więc użytkownicy
musi znaleźć własne błędy. Nasze komputery są przegrani !

Comments are closed.