Maria Hämeen-Anttila

Tutkimustuotoksia vuodessa

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

Teoreettinen filosofia, FT, Helsingin yliopisto

Myöntöpäivä: 24 marrask. 2020

Teoreettinen filosofia, FM, Helsingin yliopisto

Myöntöpäivä: 22 maalisk. 2016

Kurt Gödel: The Princeton Lectures on Intuitionism
Hämeen-Anttila, M. & von Plato, J., 2021, Cham: Springer Nature Switzerland AG. (Sources and Studies in the History of Mathematics and Physical Sciences)
Tutkimustuotos: Kirja/raportti › Kirja › Tieteellinen › vertaisarvioitu
Gödel intuitionismista ja matematiikan konstruktiivisista perusteista
Hämeen-Anttila, M., 2020, julkaisussa: Ajatus. 77, s. 439-448 10 Sivumäärä
Tutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen
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 access
Tiedosto
Gödel's early impressions of intuitionism
Hämeen-Anttila, M., 2018, julkaisussa: Contributions of the Austrian Ludwig Wittgenstein Society. XXVI, s. 76-78 3 Sivumäärä
Tutkimustuotos: Artikkelijulkaisu › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

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

What philosophy is for me?
Anita Välikangas (Järjestäjätoimikunnan puheenjohtaja), Maria Hämeen-Anttila (Puhuja: esitelmän pitäjä), Tomi Kokkonen (Puhuja: esitelmän pitäjä), Joonas S. Martikainen (Puhuja: esitelmän pitäjä), Tuukka Tanninen (Puhuja: esitelmän pitäjä) & Pii Telakivi (Puhuja: esitelmän pitäjä)
27 huhtik. 2022
Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen
Gödel's Functional Interpretation in Context
Maria Hämeen-Anttila (Puhuja)
9 heinäk. 2021
Aktiviteetti: Puhe- tai esitystyypit › Suullinen esitys
Gentzen, Gödel, and the constructive justification of consistency proofs for arithmetic
Maria Hämeen-Anttila (Puhuja)
12 marrask. 2021
Aktiviteetti: Puhe- tai esitystyypit › Kutsuesitelmä
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

Henkilökohtainen profiili