Kurt Gödel - Opere. Vol.2. 1938-1974 (2002)
- Categoria: Libreria / Saggistica e Manuali
- Autore:
- Gruppo:
Kurt Gödel - Opere. Vol.2. 1938-1974 (2002) PDF I risultati che hanno reso famoso Gödel sono la completezza semantica del calcolo dei predicati, l'incompletezza dei sistemi assiomatici contenenti l'aritmetica (il cosiddetto 'teorema d'incompletezza di Gödel'), infine la