Dipartimento di Informatica

Il prof. Harvey Friedman, Distinguished Professor di Matematica e di Informatica presso la Ohio State University, è stato ospite del Dipartimento di Informatica, su invito del dott. Lorenzo Carlucci. Nell'occasione il prof. Friedman, che ha apportato contributi fondamentali alla logica matematica e ha ricevuto l'Alan T. Waterman Award dalla National Science Foundation nel 1984, ha tenuto due seminari sui limiti intrinseci della Matematica. I quotidiani Il Tempo e Il Sole 24 Ore hanno dedicato due articoli all'evento.