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

Register online