I “Venerdì Scientifici di Savona” questa volta ci portano nel mondo dell’informatica con tre lezioni interattive che si terranno il 19 e 26 febbraio e il 5 marzo alle ore 16 su Zoom a cura della professoressa Viviana Palumberi, una delle fondatrici dell’associazione Giovani per la Scienza e già conferenziera su argomenti matematici come le successioni numeriche, la sezione aurea e i frattali.
La relatrice esporrà concetti complicati con parole semplici, dimostrazioni ed esercitazioni che gli spettatori potranno riprodurre in contemporanea, così da essere comprensibili anche per i più giovani. Sarà un approfondimento di alto livello che ci porterà a scoprire le basi dell’informatica e dell’intelligenza artificiale e ci ricorderà che la matematica non è astratta, come spesso viene dipinta, ma spesso molto pratica e tangibile, soprattutto nel mondo moderno.
La docente spiegherà nei dettagli la Macchina di Turing, basata su regole di logica relativamente semplici, ma che permette di risolvere uno dei problemi più discussi dell’informatica, l’Entscheidungsproblem (Problema di Decisione), proposto in precedenza da Hilbert. Questa la sua formulazione:
“Esiste sempre, almeno in linea di principio, un metodo meccanico (cioè una maniera rigorosa) attraverso cui, dato un qualsiasi enunciato matematico, si possa stabilire se esso sia vero o falso?”.
Nel suo articolo del 1936 Turing dimostra che il problema non è risolvibile. Per citare Yurij Castelfranchi, “Un giovane sconosciuto di nome Alan Turing risolse il quesito quasi per gioco con una macchina immaginaria” (da “Macchine come noi. La scommessa dell’intelligenza artificiale”.
La Macchina di Turing, in grado di simulare un qualsiasi computer od algoritmo esistente, riesce a calcolare ogni problema che sia calcolabile ma non a decidere se un dato problema sia calcolabile o meno. Questo è uno degli ostacoli più grandi che devono affrontare l’informatica e l’intelligenza artificiale.
I “Venerdì Scientifici” sono volti al coinvolgimento del pubblico: chi fosse interessato a partecipare può contattare l’associazione compilando il modulo online.