Mi chiese: "è presto o tardi?". Le risposi "sì, è vero"
La verità? È che non sappiamo nemmeno cosa sia, la verità! Ogni cosa ha forma e sostanza: e se avessimo l'ambizione di far coincidere ciò che è vero nella forma con ciò che è vero nella sostanza? Un logico matematico decisamente insolito e i suoi ospiti coinvolgono il pubblico in un viaggio tra sogni e realtà, dove la ricerca del rigore formale del primo si scontra con la leggerezza del senso comune. Sarà il pretesto per parlare di logica, di tempo, di dimostrazioni e dimostrabilità, concetti che da sempre hanno affascinato generazioni di pensatori, e che sono alla base dei più importanti risultati scientifici del secolo scorso. Fino a entrare, in punta di piedi e con semplicità, nel Teorema di incompletezza di Kurt Gödel, uno dei più grandi logici di sempre, ed avere così la garanzia che "non tutto ciò che è vero è dimostrabile".
A cura di
Dipartimento di Matematica dell'Università degli Studi di Genova, Gruppo Ironici d'Assalto