Tutkimustuotoksia vuodessa
Tutkimustuotoksia vuodessa
Henkilökohtainen profiili
Koulutus / tieteellinen pätevyys
Teoreettinen filosofia, FM, Helsingin yliopisto
Myöntöpäivä: 22 maaliskuuta 2016
Tieteenalat
- 611 Filosofia
- History of logic
- Foundations of mathematics
- Logic
Julkaisut
-
Gödel on intuitionism and constructive foundations of mathematics
Hämeen-Anttila, M., 2020, Helsinki: Helsingin yliopisto.Tutkimustuotos: Opinnäyte › Väitöskirja › Monografia
Open access -
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 accessTiedosto
Palkinnot
-
Elisabeth and Werner Leinfellner Award
Hämeen-Anttila, Maria (Vastaanottaja), 6 elokuuta 2018
Palkinto: Palkinnot ja kunnianosoitukset
-
Filosofian, historian, kulttuurin ja taiteen tutkimuksen laitoksen gradupalkinto 2017
Hämeen-Anttila, Maria (Vastaanottaja), 11 toukokuuta 2017
Palkinto: Palkinnot ja kunnianosoitukset
Aktiviteetit
- 7 Suullinen esitys
-
Gödel's notes on constructive foundations of mathematics
Maria Hämeen-Anttila (Puhuja)
26 heinäkuuta 2019Aktiviteetti: Puhe- tai esitystyypit › Suullinen esitys
-
Gödel's Early Views on Intuitionism
Maria Hämeen-Anttila (Puhuja)
18 huhtikuuta 2018Aktiviteetti: Puhe- tai esitystyypit › Suullinen esitys
-
Gödel's early impressions of intuitionism
Maria Hämeen-Anttila (Puhuja)
7 elokuuta 2018Aktiviteetti: Puhe- tai esitystyypit › Suullinen esitys
-
Nominalistic ordinals and potential infinities in the consistency proofs of Gentzen and Ackermann
Maria Hämeen-Anttila (Puhuja)
2017Aktiviteetti: Puhe- tai esitystyypit › Suullinen esitys
-
Transfinite ordinals from a finitary standpoint
Maria Hämeen-Anttila (Puhuja)
5 elokuuta 2017Aktiviteetti: Puhe- tai esitystyypit › Suullinen esitys