Arend Heyting dag en lezing 2015

Datum:
27 februari 2015 van 09:15 tot 17:00 uur
Locatie:
Academiegebouw. Domplein 29 3512 JE Utrecht
Telefoon:
030 253 2173
Voeg toe:

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.

icon_downl_generiek.gif136 years and still going strong(?): Cantor's continuum problem

Andere sprekers zijn op de Heyting Dag zijn:

icon_downl_generiek.gifLev Beklemishev (Russian Academy of Sciences in Moscow): On the Topological Interpretations of Provability Logic

icon_downl_generiek.gifNick Bezhanishvili (Universiteit van Amsterdam): On Jankov–de Jongh formulas

icon_downl_generiek.gifJaap van Oosten (Universiteit Utrecht): Intuitionism, Generalized Computability and Effective Operations

icon_downl_generiek.gifPaulo 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).