In the middle of the 19th century mathematicians started to question the fundaments of mathematics. Mathematics was a science of real truths but what were those truths build on? This led to the work of Gottlob Frege and Bertrand Russel to formalize the pillars of mathematics. At the turn of the century this search was encouraged by David Hilbert when he stated his 23 problems. Hilbert was certain his problems would be solved since “In mathematics there is no *ignorabimus.*“* *Whatever theorem we can come up with, Mathematics will prove it true or false. 31 years later Kurt

Gödel proved him false. In mathematics there are problems that can’t be solved. The proof he gave was long and technical requiring a course to present and fully understand. In this talk we will skip the technical work and take a look an the rather genius core ideas of Gödel’s proof.

We are currently looking for speakers for the PGR seminars for November and December. If you would like to speak yourself, or invite an external speaker, please get in touch with us.