Maria Hämeen-Anttila

Forskningsoutput per år

Om du gjort några ändringar i Pure kommer de visas här snart.

Teoretisk filosofi, FD, Helsingfors universitet

Tilldelningsdatum: 24 nov. 2020

Theoretical philosophy, MA, Helsingfors universitet

Tilldelningsdatum: 22 mars 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, s. 1-28 28 s. (Sources and Studies in the History of Mathematics and Physical Sciences).
Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Kapitel › Vetenskaplig › 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)
Forskningsoutput: Bok/rapport › Bok › Vetenskaplig › Peer review

Fil
Gödel intuitionismista ja matematiikan konstruktiivisista perusteista
Hämeen-Anttila, M., 2020, I: Ajatus. 77, s. 439-448 10 s.
Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig
Gödel on intuitionism and constructive foundations of mathematics
Hämeen-Anttila, M., 2020, Helsinki: Helsingin yliopisto.
Forskningsoutput: Avhandling › Doktorsavhandling › Monografi

Öppen tillgång
Nominalistic ordinals, recursion on higher types, and finitism
Hämeen-Anttila, M., 2019, I: Bulletin of Symbolic Logic. 25, 1, s. 101-124 24 s.
Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review

Öppen tillgång
Fil

Elisabeth and Werner Leinfellner Award
Hämeen-Anttila, Maria (!!Recipient), 6 aug. 2018
Pris: Pris och hedersbetygelser
Filosofian, historian, kulttuurin ja taiteen tutkimuksen laitoksen gradupalkinto 2017
Hämeen-Anttila, Maria (!!Recipient), 11 maj 2017
Pris: Pris och hedersbetygelser

What philosophy is for me?
Anita Välikangas (Ordförande i organisationskommitté), Maria Hämeen-Anttila (Talare: Presentation), Tomi Kokkonen (Talare: Presentation), Joonas S. Martikainen (Talare: Presentation), Tuukka Tanninen (Talare: Presentation) & Pii Telakivi (Talare: Presentation)
27 apr. 2022
Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
Gödel's Functional Interpretation in Context
Maria Hämeen-Anttila (!!Speaker)
9 juli 2021
Aktivitet: Typer för tal eller presentation › !!Oral presentation
Gentzen, Gödel, and the constructive justification of consistency proofs for arithmetic
Maria Hämeen-Anttila (!!Speaker)
12 nov. 2021
Aktivitet: Typer för tal eller presentation › !!Invited talk
Gödel's notes on constructive foundations of mathematics
Maria Hämeen-Anttila (!!Speaker)
26 juli 2019
Aktivitet: Typer för tal eller presentation › !!Oral presentation
Gödel's early impressions of intuitionism
Maria Hämeen-Anttila (!!Speaker)
7 aug. 2018
Aktivitet: Typer för tal eller presentation › !!Oral presentation

Personlig profil