Lezing 'The Foundations of Mathematics and the contributions of Harvey Friedman'

Voor wie
Alumni , Medewerkers , Privépersonen , Studenten
Wanneer
17-05-2022 van 19:00 tot 20:00
Waar
Faculteitsraadzaal, Campus Sterre, Gebouw S2, 3e verdieping, Krijgslaan 281, 9000 Gent
Voertaal
Engels
Door wie
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 Andreas Weiermann 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

Registreer online