Arend Heyting Lezing 2015 door Michael Rathjen, Professor of Pure Mathematics aan de University of Leeds, onder de titel '136 years and still going strong(?): Cantor's continuum problem'.
Rathjen laat zien hoe constructieve logica, zoals ontwikkeld door Arend Heyting, gebruikt kan worden bij de studie van het centrale klassieke probleem over het oneindige: Cantors Continuüm Hypothese. De Continuüm Hypothese zegt dat elke verzameling reële getallen eindig is of aftelbaar oneindig is of even groot is als de verzameling van alle reële getallen.
136 years and still going strong(?): Cantor's continuum problem
Andere sprekers zijn op de Heyting Dag zijn:
Lev Beklemishev (Russian Academy of Sciences in Moscow): On the Topological Interpretations of Provability Logic
Nick Bezhanishvili (Universiteit van Amsterdam): On Jankov–de Jongh formulas
Jaap van Oosten (Universiteit Utrecht): Intuitionism, Generalized Computability and Effective Operations
Paulo Oliva (Queen Mary University of London): On Proof Interpretations and Linear Logic
De dag werd ingeleid door de voorzitter van de Arend Heyting Stichting en KNAW-lid Albert Visser (Universiteit Utrecht).