Ocena:
Obecnie brak opinii czytelników. Ocena opiera się na 10 głosach.
Gdel Without (Too Many) Tears
Słynne Pierwsze Twierdzenie o Niekompletności Kurta Gödla pokazuje, że dla każdej wystarczająco bogatej teorii, która zawiera wystarczająco dużo arytmetyki, istnieją pewne prawdy arytmetyczne, które teoria może wyrazić, ale nie może udowodnić. Jak ustalono ten niezwykły wynik? Wyjaśnia to ta krótka książka.
Omówiono w niej również Drugie Twierdzenie o Niekompletności Gödla. Celem jest udostępnienie Twierdzeń w sposób jasny i przystępny, nawet dla osób z dość ograniczonym zapleczem formalnym.
Pierwsze wydanie opierało się na często pobieranych notatkach z wykładów prowadzonych w Cambridge przez wiele lat. Drugie wydanie jest rozszerzone i gruntownie poprawione.
© Book1 Group - wszelkie prawa zastrzeżone.
Zawartość tej strony nie może być kopiowana ani wykorzystywana w całości lub w części bez pisemnej zgody właściciela.
Ostatnia aktualizacja: 2024.11.13 21:45 (GMT)