Evaluare:
În prezent, nu există recenzii ale cititorilor. Evaluarea se bazează pe 10 voturi.
Gdel Without (Too Many) Tears
Celebra Teoremă de incompletitudine a lui Kurt Gödel arată că, pentru orice teorie suficient de bogată care conține suficientă aritmetică, există adevăruri aritmetice pe care teoria le poate exprima, dar nu le poate dovedi. Cum este stabilit acest rezultat remarcabil? Această carte scurtă explică.
De asemenea, se discută a doua Teoremă a incompletitudinii a lui Gödel. Scopul este de a face teoremele disponibile, în mod clar și accesibil, chiar și pentru cei cu un bagaj formal destul de limitat.
Prima ediție s-a bazat pe notele de curs mult descărcate pentru un curs ținut în Cambridge timp de mulți ani. Această a doua ediție este extinsă și revizuită extensiv.
© Book1 Group - toate drepturile rezervate.
Conținutul acestui site nu poate fi copiat sau utilizat, nici parțial, nici integral, fără permisiunea scrisă a proprietarului.
Ultima modificare: 2024.11.08 07:02 (GMT)