The Foundations of Mathematics and the contributions of Harvey Friedman

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

Where/When/Accessibility?

Tuesday May 17 - 7 pm-8pm CET

  • On campus: Campus Sterre, Krijgslaan 281, building S2, 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: We encourage everyone to join the lecture on campus. If this is not possible you will receive the link to the online streaming once you are registered.

Lecture

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 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 ipvw.ices@ugent.be 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.)