Arend Heyting Lecture 2015 by Michael Rathjen, Professor of Pure Mathematics at the University of Leeds, entitled '136 years and still going strong(?): Cantor's continuum problem'.
Rathjen will show how constructive logic, as developed by Arend Heyting, can be used in the study of the central classical problem concerning the infinite: Cantor’s Continuum Hypothesis. The Continuum Hypothesis is the conjecture that every set of reals is either finite or countably infinite or of the same size as the set of al reals.
Other speakers are:
- Lev Beklemishev (Russian Academy of Sciences in Moscow)
- Nick Bezhanishvili (University of Amsterdam)
- Jaap van Oosten (Universiteit Utrecht)
- Paulo Oliva (Queen Mary University of London).