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

Voor wie
Alumni , Medewerkers , Privépersonen , Studenten
17-05-2022 van 19:00 tot 20:00
Faculteitsraadzaal, Campus Sterre, Gebouw S2, 3e verdieping, Krijgslaan 281, 9000 Gent
Door wie
Academy for Lifelong Learning of the Faculty of Sciences

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