Valokuva: Maria Hämeen-Anttila
  • PL 24 (Unioninkatu 40)

    00014

    Suomi

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

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

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: ArtikkelijulkaisuArtikkeliTieteellinenvertaisarvioitu

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 esitystyypitSuullinen esitys

Gödel's Early Views on Intuitionism

Maria Hämeen-Anttila (Puhuja)
18 huhtikuuta 2018

Aktiviteetti: Puhe- tai esitystyypitSuullinen esitys

Gödel's early impressions of intuitionism

Maria Hämeen-Anttila (Puhuja)
7 elokuuta 2018

Aktiviteetti: Puhe- tai esitystyypitSuullinen esitys

Gödel's early critique of intuitionism

Maria Hämeen-Anttila (Puhuja)
2017

Aktiviteetti: Puhe- tai esitystyypitSuullinen esitys

Transfinite ordinals from a finitary standpoint

Maria Hämeen-Anttila (Puhuja)
5 elokuuta 2017

Aktiviteetti: Puhe- tai esitystyypitSuullinen esitys