Divertimento geometrico. Le origini geometriche della logica da Euclide a Hilbert

"Divertimento geometrico" è l'ambizioso tentativo di riscrivere, in linguaggio moderno e accessibile da un lato, e in maniera autosufficiente dall'altro, il classico libro di David Hilbert sui "Fondamenti della geometria". Un'attenzione particolare viene data alle problematiche di natura metamatematica che quel libro pose sul tappeto nel 1899, e che nel Novecento divennero centrali e caratterizzanti non soltanto per la geometria assiomatica, ma anche e soprattutto per la logica matematica e per lo studio dei fondamenti: i problemi, cioè, relativi alla completezza, alla consistenza e all'indipendenza dei sistemi di assiomi.
Divertimento geometrico. Le origini geometriche della logica da Euclide a Hilbert

di Odifreddi, Piergiorgio - 2003-11-21
Edizioni Bollati Boringhieri
ISBN 9788833957142