Twierdzenie Godla - E. Nagel, J. R. Newman - książka wyd. 1966

Opis

Idea jest prosta: jeśli jakaś maszyna przedkłada prawdy matematyczne, to nie może przedłożyć zdania Gödla skonstruowanego dla ogółu tych prawd, o ile ma nie popaść w sprzeczność; my natomiast możemy to zdanie udowodnić. A więc – hura! – jesteśmy lepsi niż dowolna maszyna.