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.