The Foundations of Mathematics and the Contributions of Harvey Friedman

Where/When/Accessibility? - Lecture - Registration required - Other lectures


Tuesday May 17 - 7 pm-8pm CET

  • On campus: Campus Sterre, Krijgslaan 281, building S2 (entry on the side of building S3), 9000 Gent, 3rd floor, faculty board room.
    Campus Sterre can be reached easily by public transport. Should you choose to come by car you can enter and exit the campus freely. The barriers will open automatically.
  • Online: The speaker would really appreciate for as many people as possible to join him on campus. However, should this not be possible you can always join the lecture online via this Zoom link.


Prof. dr. Andreas Weiermann - Dept. of Mathematics: Analysis, Logic and Discrete Mathematics

What is a number? What is a function? What is a set? What is a definition? What is an axiom? What is a proof? What are appropriate axioms for numbers? What are appropriate axioms for foundations? What can be proven and what cannot?

Questions like these are investigated in the foundations of mathematics. In this talk we will provide a glimpse of some basic directions in the foundations of mathematics like logicism, formalism, intuitionism and predicativism.

Next we turn to some modern developments in the foundations of mathematics. Particular emphasis will be given to the achievements of the 2013 UGent institutional honorary doctor Harvey M. Friedman.

This informal talk is addressed in particular to non-mathematicians.

Registration required

All lectures are free. Enrolling is required and is possible via the EventManager. This enables us to contact you via e-mail in case of last minute changes. Should you be unable to attend a lecture for which you are enrolled, please let us know via so we can assign your place to another participant. By the latest on the Monday before the lecture you will receive a reminder with the exact location and/or link to the streaming.

Other lectures

This lecture forms part of a larger series organized within the scope of Public Outreach. In this manner we give you a taste of research conducted at the Faculty of Sciences. View the full program for 2021-2022.

Should you wish to stay informed about these lectures you can subscribe to our . (Simply click and press send.)