Le ragioni fisiche e le dimostrazioni matematiche / Gabriele Lolli.
Pubblicazione:
Bologna : Il Mulino, c1985.
Descrizione fisica:
364 p. ; 22 cm
Serie:
Saggi ; 294
Contiene:
Indice: Prefazione. 1. Le ragioni fisiche e le dimostrazioni matematiche 2. Quasi alphabetum: logica ed enciclopedia in G. Peano 3. Saccheri e le definizioni filiae plurium demonstrationum 4. Le forme della logica: G. Vailati 5. George Cantor 6. L'assioma di scelta 7. Da Zermelo a Zermelo 8. La fondazione insiemistica 9. Gödel, Church, Turing: decidibile e indecidibile 10. Logica e fondamenti della matematica 11. Astrazioni, formule, afasie 12. Dimostrazioni ed esperienza matematica. Indice dei nomi