Aktiviteetteja vuodessa
Aktiviteetit
- 4 tulosta
Hakutulokset
-
The philosophical roots of mathematical logic
Kanckos, A. (Kutsuttu puhuja)
4 huhtik. 2022 → 6 huhtik. 2022Aktiviteetti: Puhe- tai esitystyypit › Kutsuesitelmä
-
Kurt Gödel und das Psychologische Institut: Die Geschichte einer Annäherung
Lethen, T. (Puhuja)
4 helmik. 2021Aktiviteetti: Puhe- tai esitystyypit › Kutsuesitelmä
-
Gentzen, Gödel, and the constructive justification of consistency proofs for arithmetic
Hämeen-Anttila, M. (Puhuja)
12 marrask. 2021Aktiviteetti: Puhe- tai esitystyypit › Kutsuesitelmä
-
Dogmas and Demons: Kurt Gödel's theological notes
Lethen, T. (Puhuja)
25 lokak. 2019Aktiviteetti: Puhe- tai esitystyypit › Kutsuesitelmä