# Lecture 'The Foundations of Mathematics and the contributions'

- For whom
- Alumni , Employees , Private individuals , Students
- When
- 17-05-2022 from 19:00 to 20:00
- Where
- Faculteitsraadzaal, Campus Sterre, Gebouw S2, 3e verdieping, Krijgslaan 281, 9000 Gent
- Language
- English
- Organizer
- Academy for Lifelong Learning of the Faculty of Sciences
- Contact
- Heidi.DeDobbelaere@UGent.be
- Website
- https://www.ugent.be/we/nl/diensten/ipvw-ices/aanbod/onderzoekwetenschappen/harveyfriedman

**Lecture by Prof Harvey Weierman for non mathematicians, about the foundations of mathematics and the achievements of the H. Friedman.**

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 Ghent University institutional honorary doctor Harvey M. Friedman.

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

Format: on campus and online