Activities per year
Activities
- 5 results
Search results
-
Gödel's Functional Interpretation in Context
Maria Hämeen-Anttila (Speaker)
9 Jul 2021Activity: Talk or presentation types › Oral presentation
-
Gödel's notes on constructive foundations of mathematics
Maria Hämeen-Anttila (Speaker)
26 Jul 2019Activity: Talk or presentation types › Oral presentation
-
Kurt Gödel's Notebooks on the Foundations of Quantum Mechanics
Tim Lethen (Speaker)
27 Jul 2019Activity: Talk or presentation types › Oral presentation
-
Gödel's Early Views on Intuitionism
Maria Hämeen-Anttila (Speaker)
18 Apr 2018Activity: Talk or presentation types › Oral presentation
-
Gödel's early impressions of intuitionism
Maria Hämeen-Anttila (Speaker)
7 Aug 2018Activity: Talk or presentation types › Oral presentation