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.