Incompletezza : saggio su Kurt Gödel / Gabriele Lolli.
Pubblicazione:
Bologna : Il mulino, c1992.
Descrizione fisica:
116 p. ; 22 cm
Serie:
Saggi ; 395
Contiene:
Indice: 1. Il problema 2. La formalizzazione della matematica 3. Le attese 4. La risolubilità di tutti i problemi 5. Le anticipazioni 6. Senza formule 7. Lo spirito di Leibniz 8. Una lezione di logica 9. Il concetto di dimostrabilità 10. La proposizione indecidibile 11. Le antinomie epistemologiche 12. Verranno le macchine 13. Dalla verità alla metateoria. Nota bibliografica. Indice dei nomi