AILAxMaddMaths!

Questo è il primo articolo di una nuova rubrica che ci porterà alla scoperta delle varie aree di ricerca in logica. Il viaggio parte con la Logica Algebrica, che raccontiamo a partire da Boole fino al giorno d’oggi. Questo articolo è stato scritto da Serafina Lapenta e Sara Ugolini.

Il 14 gennaio è la Giornata Mondiale della Logica. L’AILA, in collaborazione con MaddMaths!, ha preparato alcune attività da proporre a scuola.

Due assiomi nati da intuizioni lontane – uno geometrico, l’altro algebrico – sembravano tracciare percorsi incompatibili nell’universo degli insiemi. Un eccezionale risultato di David Asperó e Ralf Schindler mostra invece che queste visioni si sostengono a vicenda, offrendo una nuova prospettiva sul problema (apparentemente elementare ma in realtà profondissimo) di stabilire quanti sono i numeri reali. Questo articolo è stato scritto da Giorgio Venturi.

I paradossi semantici hanno una storia lunga (almeno) venticinque secoli. In questo articolo, già apparso sull’ultimo numero di Archimede, Luca San Mauro ci racconta perché i paradossi sono “cariche esplosive piazzate nelle fondamenta delle lingue naturali”, e come la matematica ci può aiutare a capirli meglio, ma non a catalogarli.

Intervista a Martina Iannella, ricercatrice presso l’Institute of Discrete Mathematics and Geometry della Technische Universität Wien, vincitrice del premio AILA-UMI «Franco Montagna» per la migliore tesi di dottorato in logica matematica. In questa intervista parliamo con lei di nodi, archi, e grandi cardinali.