Aktiviteetteja vuodessa
Aktiviteetit
- 12 tulosta
Hakutulokset
-
4th International Workshop onAutomated Reasoning in Quantified Non-Classical Logics
Kanckos, A. (Tieteellisen komitean jäsen)
11 elok. 2022Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen
-
The philosophical roots of mathematical logic
Kanckos, A. (Kutsuttu puhuja)
4 huhtik. 2022 → 6 huhtik. 2022Aktiviteetti: Puhe- tai esitystyypit › Kutsuesitelmä
-
What philosophy is for me?
Välikangas, A. (Järjestäjätoimikunnan puheenjohtaja), Hämeen-Anttila, M. (Puhuja: esitelmän pitäjä), Kokkonen, T. (Puhuja: esitelmän pitäjä), Martikainen, J. S. (Puhuja: esitelmän pitäjä), Tanninen, T. (Puhuja: esitelmän pitäjä) & Telakivi, P. (Puhuja: esitelmän pitäjä)
27 huhtik. 2022Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen
-
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ä
-
Gödel's Functional Interpretation in Context
Hämeen-Anttila, M. (Puhuja)
9 heinäk. 2021Aktiviteetti: Puhe- tai esitystyypit › Suullinen esitys
-
Advances in Modal Logic 2020
Kanckos, A. (Järjestäjätoimikunnan jäsen)
24 elok. 2020 → 28 elok. 2020Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen
-
Gödel's notes on constructive foundations of mathematics
Hämeen-Anttila, M. (Puhuja)
26 heinäk. 2019Aktiviteetti: Puhe- tai esitystyypit › Suullinen esitys
-
Kurt Gödel's Notebooks on the Foundations of Quantum Mechanics
Lethen, T. (Puhuja)
27 heinäk. 2019Aktiviteetti: Puhe- tai esitystyypit › Suullinen esitys
-
Dogmas and Demons: Kurt Gödel's theological notes
Lethen, T. (Puhuja)
25 lokak. 2019Aktiviteetti: Puhe- tai esitystyypit › Kutsuesitelmä
-
Gödel's Early Views on Intuitionism
Hämeen-Anttila, M. (Puhuja)
18 huhtik. 2018Aktiviteetti: Puhe- tai esitystyypit › Suullinen esitys
-
Gödel's early impressions of intuitionism
Hämeen-Anttila, M. (Puhuja)
7 elok. 2018Aktiviteetti: Puhe- tai esitystyypit › Suullinen esitys