Tutkimustuotoksia vuodessa
Henkilökohtainen profiili
Koulutus / tieteellinen pätevyys
Teoreettinen filosofia, FM, Helsingin yliopisto
Tieteenalat
- 611 Filosofia
- History of logic
- Foundations of mathematics
- Logic
Julkaisut 2019 2019
- 1 Artikkeli
Nominalistic ordinals, recursion on higher types, and finitism
Hämeen-Anttila, M., 2019, julkaisussa : Bulletin of Symbolic Logic. 25, 1, s. 101-124 24 SivumääräTutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu
Open access
Tiedosto
Palkinnot
Elisabeth and Werner Leinfellner Award
Maria Hämeen-Anttila (Vastaanottaja), 6 elokuuta 2018
Palkinto: Palkinnot ja kunnianosoitukset
Filosofian, historian, kulttuurin ja taiteen tutkimuksen laitoksen gradupalkinto 2017
Maria Hämeen-Anttila (Vastaanottaja), 11 toukokuuta 2017
Palkinto: Palkinnot ja kunnianosoitukset
Aktiviteetit 2016 2019
- 7 Suullinen esitys
Gödel's notes on constructive foundations of mathematics
Maria Hämeen-Anttila (Puhuja)26 heinäkuuta 2019
Aktiviteetti: Puhe- tai esitystyypit › Suullinen esitys
Gödel's Early Views on Intuitionism
Maria Hämeen-Anttila (Puhuja)18 huhtikuuta 2018
Aktiviteetti: Puhe- tai esitystyypit › Suullinen esitys
Gödel's early impressions of intuitionism
Maria Hämeen-Anttila (Puhuja)7 elokuuta 2018
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
Transfinite ordinals from a finitary standpoint
Maria Hämeen-Anttila (Puhuja)5 elokuuta 2017
Aktiviteetti: Puhe- tai esitystyypit › Suullinen esitys