Capire una dimostrazione : il ruolo della logica nella matematica / Gabriele Lolli.
Pubblicazione:
Bologna : Il mulino, c1988.
Descrizione fisica:
209 p. ; 22 cm
Serie:
Saggi ; 351
Contiene:
Indice: Premessa 1. Il ruolo della dimostrazione 2. Dimostrazioni e logica 3. Mondo fisico e metodo assiomatico 4. La dimostrazione dei greci 5. Quelle lunghe catene di ragioni semplici 6. La metafora meccanica 7. La realtà matematica 8. Dimostrare come narrare 9. Struttura e metodo assiomatico 10. Formale e metodo assiomatico 11. Logica e formale 12. Logica e pensiero 13. I piccoli passi 14. In pratica e in principio 15. Le dimostrazioni informali 16. Le dimostrazioni impure 17. Formale e semantica 18. Dimostrare le dimostrazioni 19. Le idee matematiche 20. Fine dell'assoluto 21. La pratica meccanica della logica 22. Riassunto. Indice dei nomi
Mugnai, Massimo 1947- Macchine, dimostrazioni, estraniamento storiografico.