Maria Hämeen-Anttila

Tutkimustuotoksia vuodessa

Jos olet muokannut tietoja Puressa, ne näkyvät pian tässä.

8 Suullinen esitys
1 Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen
1 Kutsuesitelmä

Suodatin

Gödel's Functional Interpretation in Context
Maria Hämeen-Anttila (Puhuja)
9 heinäk. 2021
Aktiviteetti: Puhe- tai esitystyypit › Suullinen esitys
Gödel's notes on constructive foundations of mathematics
Maria Hämeen-Anttila (Puhuja)
26 heinäk. 2019
Aktiviteetti: Puhe- tai esitystyypit › Suullinen esitys
Gödel's Early Views on Intuitionism
Maria Hämeen-Anttila (Puhuja)
18 huhtik. 2018
Aktiviteetti: Puhe- tai esitystyypit › Suullinen esitys
Gödel's early impressions of intuitionism
Maria Hämeen-Anttila (Puhuja)
7 elok. 2018
Aktiviteetti: Puhe- tai esitystyypit › Suullinen esitys
Transfinite ordinals from a finitary standpoint
Maria Hämeen-Anttila (Puhuja)
5 elok. 2017
Aktiviteetti: Puhe- tai esitystyypit › Suullinen esitys
Gödel's early critique of intuitionism
Maria Hämeen-Anttila (Puhuja)
2017
Aktiviteetti: Puhe- tai esitystyypit › Suullinen esitys
Nominalistic ordinals and potential infinities in the consistency proofs of Gentzen and Ackermann
Maria Hämeen-Anttila (Puhuja)
2017
Aktiviteetti: Puhe- tai esitystyypit › Suullinen esitys
Reductive criteria for logicality of modal operators
Maria Hämeen-Anttila (Puhuja)
2016
Aktiviteetti: Puhe- tai esitystyypit › Suullinen esitys

Aktiviteetit