[FOM] Conference announcement: Das Kontinuum – 100 Years Later; Leeds, UK; 11-14 Sept. 2018

[Paul Shafer]

Dear all,

I would like to draw your attention to the conference "Das Kontinuum – 100 Years Later."

Best wishes,
Paul Shafer, for the organizers



Conference at the University of Leeds

Das Kontinuum – 100 Years Later

11-14 September 2018

https://weyl100.wordpress.com



Tuesday 11th of September

18:30 – 19:30  Feferman Lecture: Geoffrey Hellmann: "Extending the Iterative Conception: a Height-Potentialist Perspective"

20:00 –        Reception



Wednesday 12th of September:

9:30 – 10:30   Per Martin-Löf: "Weyl's attempted mediation between  intuitionism and formalism"

10:30 – 11:00  Coffee break

11:00 – 12:00  Graham E. Leigh: "Formal truth and implicit commitment"

12.10 – 13:10  Laura Crosilla: "Weyl and a predicative concept of set"

13:10 – 15:00  Lunch break

15:00 – 16:00  Gerhard Jäger: "Weyl, Feferman and beyond"

16:00 – 16:30  Coffee break

16:30 – 17:30  Stefania Centrone: "Husserl and Weyl"

17:40 – 18:40  Bahareh Afshari: "Fixed Points and Converse Modalities"



Thursday 13th of September

9:30 – 10:30   Øystein Linnebo: "Predicativism and potential infinity"

10:30 – 11:00  Coffee break

11:00 – 12:00  Takako Nemoto: "Some properties of function spaces in reverse mathematics"

12:10 – 13:10  Stephen Simpson: "Predicativism: a reverse-mathematical perspective"

13:10 – 15:00  Lunch break

15:00 – 16:00  Dagfinn Føllesdal: TBA

16:00 – 16:30  Coffee break

16:30 – 17:30  Arnon Avron: "Weyl Vindicated without Using Types"



Friday 14th of September

9:30 – 10:30   Peter Aczel: TBA

10:30 – 11:00  Coffee break

11:00 – 12:00  Michael Detlefsen: "Weyl and Dedekind on Intuition and Proof"

12:10 – 13:10  Peter Dybjer: "Generalised predicativity, tests and the meaning explanations of intuitionistic type theory"

13:10 – 15:00  Lunch break

15:00 – 16:00  Maria Emilia Maietti: "The continuum from the predicative point of view of the Minimalist Foundation"

16:00 – 16:30  Coffee break

16:30 – 17:30  Nik Weaver: "The limits of predicativity"

19:00 –        Conference dinner
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20180828/e84c1e85/attachment.html>