logics

The Fifteenth Annual Gödel Lecture 2004

Michael O. Rabin, Proofs persuasions and randomness in mathematics

The Fourteenth Annual Gödel Lecture 2003

Boris Zilber, Categoricity

The Thirteenth Annual Gödel Lecture 2002

Harvey Friedman, Issues in the foundations of mathematics