Vai al contenuto principale della pagina
POSSEDUTO (se manca la collocazione vai al documento contenente) | |
Autore principale: | Lolli, Gabriele, 1942-
|
Titolo: | 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 |
Visionato in: | IMSS |
ISBN: | 8815036962 |
Discipline: | Logica matematica--Persone. |
Persone: | Gödel, Kurt, 1906-1978. |
Sudd. cronologiche: | Secolo XX. |
Collocazione: | Rossi M 06435 |
Nota di esemplare: | Mostra nota di esemplare |
000001067533 |