Seminar talks

May 30, 2019

Friday, 31 May 2019, 10:30.

Four seminar talks will be given as part of the lecture course Proofs and Computations:

Giulio Fellin (University of Verona)
NID and Fullness

Marco Girardi (University of Trento)
Diagonal Arguments in Cartesian Closed Categories

Luca Pasetto (University of Verona)
Incompleteness via the Halting Problem

Francesco Sentieri (University of Verona)
Grothendieck Universes and Strongly Inaccessible Cardinals