In tutto il mondo il 14 gennaio si celebra il World Logic Day, una giornata istituita dall’UNESCO in occasione della morte di Kurt Gödel e della nascita di Alfred Tarski, personaggi che hanno contribuito notevolmente allo sviluppo della logica come la studiamo oggi.
Per questa giornata la 4^LSMA, assieme ad altre due classi dell’Istituto Manzini di San Daniele, ha seguito un seminario tenuto dalla professoressa G. D’Agostino del Dipartimento di Matematica, Informatica e Fisica dell’Università degli Studi di Udine, dal titolo “Miti e paradossi in salsa matematica”. La lezione si concentrava sulla logica e su alcuni dei suoi teoremi principali, in particolare sul Primo Teorema di Gödel, osservandoli attraverso i miti e i paradossi che hanno incentivato i matematici a studiare quei fenomeni. Ad esempio, parlando sempre del Teorema di Gödel, si è partiti dal paradosso del mentitore (cioè la frase “Io sto mentendo”, che se vera dovrebbe essere falsa, e se falsa risulterebbe quindi vera) per poi seguire a grandi linee i processi di ragionamento che hanno portato alla formulazione del Teorema.
Il seminario è stato seguito da un laboratorio sulla logica, nel quale gli studenti hanno avuto la possibilità di giocare, sul sito Tarski’s World, con solidi matematici e proposizioni, con l’obbiettivo di verificarne il valore di verità o falsità. Il laboratorio ha rappresentato l’occasione di mettere in pratica le nozioni di linguaggio logico possedute dagli studenti e di confrontarsi con problemi di vari livelli e natura.
La logica, tuttavia, è un argomento trasversale: si può parlare di logica in matematica e in computer science, ma anche in filosofia, in linguistica, in economia e altro ancora.
“In matematica non si capiscono le cose, semplicemente ci si abitua”
John von Neumann, matematico, fisico e informatico ungherese
