Maria Hämeen-Anttila

Research activity per year

Theoretical Philosophy, PhD, University of Helsinki

Award Date: 24 Nov 2020

Teoreettinen filosofia, FM, University of Helsinki

Award Date: 22 Mar 2016

Gödel’s Results on Foundations
Hämeen-Anttila, M. & von Plato, J., 2023, Sources and Studies in the History of Mathematics and Physical Sciences. Springer, p. 1-30 30 p. (Sources and Studies in the History of Mathematics and Physical Sciences; vol. Part F1105).
Research output: Chapter in Book/Report/Conference proceeding › Chapter › Scientific › peer-review
Resultats on Foundations
Hämeen-Anttila, M. & von Plato, J., 2023, Springer. 319 p. (Sources and Studies in the History of Mathematics and Physical Sciences; vol. Part F1105)
Research output: Book/Report › Book › Scientific › peer-review
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

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
Gödel's Functional Interpretation in Context
Maria Hämeen-Anttila (Speaker)
9 Jul 2021
Activity: Talk or presentation types › Oral presentation
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 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