Maria Hämeen-Anttila

Research activity per year

If you made any changes in Pure these will be visible here soon.

Theoretical Philosophy, PhD, University of Helsinki

Award Date: 24 Nov 2020

Teoreettinen filosofia, FM, University of Helsinki

Award Date: 22 Mar 2016

Introduction:Gödel’s functional interpretation in context
Hämeen-Anttila, M. & von Plato, J., 2021, Sources and Studies in the History of Mathematics and Physical Sciences. Springer, p. 1-28 28 p. (Sources and Studies in the History of Mathematics and Physical Sciences).
Research output: Chapter in Book/Report/Conference proceeding › Chapter › Scientific › peer-review
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)
Research output: Book/Report › Book › Scientific › peer-review

File
Gödel intuitionismista ja matematiikan konstruktiivisista perusteista
Hämeen-Anttila, M., 2020, In: Ajatus. 77, p. 439-448 10 p.
Research output: Contribution to journal › Article › Scientific
Gödel on intuitionism and constructive foundations of mathematics
Hämeen-Anttila, M., 2020, Helsinki: Helsingin yliopisto.
Research output: Thesis › Doctoral Thesis › Monograph

Open Access
Nominalistic ordinals, recursion on higher types, and finitism
Hämeen-Anttila, M., 2019, In: Bulletin of Symbolic Logic. 25, 1, p. 101-124 24 p.
Research output: Contribution to journal › Article › Scientific › peer-review

Open Access
File

Elisabeth and Werner Leinfellner Award
Hämeen-Anttila, Maria (Recipient), 6 Aug 2018
Prize: Prizes and awards
Filosofian, historian, kulttuurin ja taiteen tutkimuksen laitoksen gradupalkinto 2017
Hämeen-Anttila, Maria (Recipient), 11 May 2017
Prize: Prizes and awards

What philosophy is for me?
Anita Välikangas (Chair of organizing committee), Maria Hämeen-Anttila (Speaker: Presenter), Tomi Kokkonen (Speaker: Presenter), Joonas S. Martikainen (Speaker: Presenter), Tuukka Tanninen (Speaker: Presenter) & Pii Telakivi (Speaker: Presenter)
27 Apr 2022
Activity: Participating in or organising an event types › Organisation and participation in conferences, workshops, courses, seminars
Gentzen, Gödel, and the constructive justification of consistency proofs for arithmetic
Maria Hämeen-Anttila (Speaker)
12 Nov 2021
Activity: Talk or presentation types › Invited talk
Gödel's Functional Interpretation in Context
Maria Hämeen-Anttila (Speaker)
9 Jul 2021
Activity: Talk or presentation types › Oral presentation
Gödel's notes on constructive foundations of mathematics
Maria Hämeen-Anttila (Speaker)
26 Jul 2019
Activity: Talk or presentation types › Oral presentation
Gödel's Early Views on Intuitionism
Maria Hämeen-Anttila (Speaker)
18 Apr 2018
Activity: Talk or presentation types › Oral presentation

Personal profile