Sulle orme del mentitore
I paradossi semantici hanno una storia lunga (almeno) venticinque secoli. In questo articolo, apparso nel numero 3/2025 di Archimede, Luca San Mauro ci racconta perché i paradossi sono “cariche esplosive piazzate nelle fondamenta delle lingue naturali”, e...
Classificare il mondo: nodi, archi, e grandi cardinali – Intervista a Martina Iannella
Intervista a Martina Iannella, ricercatrice presso l’Institute of Discrete Mathematics and Geometry della Technische Universität Wien. Di recente ha ricevuto il premio AILA-UMI «Franco Montagna» per la migliore tesi di dottorato in logica matematica e sue...
È logico fare logica a scuola? – Parte 4
Il formalismo logico a scuola è spesso percepito come un ostacolo anziché come uno strumento utile. Nel percorso didattico Bul, ispirato ai cavalieri e ai furfanti di Smullyan, i simboli della logica diventano invece occasione di gioco, riflessione, e apprendimento....






