Logica

La logica e l'insegnamento della geometria

Tanto a livello storico quanto a livello didattico, il legame fra logica e geometria è molto stretto. Un sistema logico deve essere in grado di tradurre in una teoria deduttiva le nostre idee intuitive sullo spazio. David Hilbert scrive I fondamenti della geometria anche per chiarire la sua posizione sul significato di assiomi ed enti primitivi e Alfred Tarski propone una formalizzazione in un senso logico moderno per la geometria euclidea. La teoria di Tarski permette di discutere i problemi insolubili, cioè l'impossibilità di eseguire certe costruzioni geometriche.

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma