Dalla logica all'informatica passando per Gödel

A partire dal 29 settembre, in occasione di BRIGHT - La Notte dei Ricercatori 2017, prende il via presso il museo un ciclo di cinque incontri, tenuti da docenti dell'Università di Pisa, che illustrano le storie dei protagonisti che hanno ispirato le opere di "Congetture isomorfe" la mostra dell'artista Francesco Zavattari realizzata per il Museo degli Strumenti per il Calcolo.

Il primo incontro si svilupperà su tre momenti:

19.30 Piccolo aperitivo di apertura;

21.00 Visita guidata della mostra, a cura dell'autore Francesco Zavattari;

21.30 Dalla logica all'informatica passando per Gödel, di Fabio Gadducci.

Gli altri incontri sono:

• 6 ottobre "I giochi di Nash" - in occasione dell'Internet festival
• 13 ottobre "Il Piccolo e l'ultimo teorema di Fermat"
• 20 ottobre "Turing e la sua macchina"
• 27 ottobre "Tartaglia, un matematico del Cinquecento"