Personlig profil
Utbildning / akademisk kvalifikation
Teoretisk filosofi, FD, Helsingfors universitet
Tilldelningsdatum: 24 nov. 2020
Theoretical philosophy, MA, Helsingfors universitet
Tilldelningsdatum: 22 mars 2016
Vetenskapsgrenar
- 611 Filosofi
Samarbeten och ledande forskningsområden under de senaste fem åren
-
Gödel, Gentzen, and Constructive Consistency Proofs
Hämeen-Anttila, M., 2 okt. 2025, I: History and Philosophy of Logic. 46, 4, s. 509-524 16 s.Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
Öppen tillgångFil -
What is Gödel's Resultate Grundlagen?
Hämeen-Anttila, M. & von Plato, J., 2025, I: Logique et Analyse. 268, s. 377-396 20 s.Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
Öppen tillgångFil -
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, s. 1-30 30 s. (Sources and Studies in the History of Mathematics and Physical Sciences; vol. Part F1105).Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Kapitel › Vetenskaplig › Peer review
-
Resultats on Foundations
Hämeen-Anttila, M. & von Plato, J., 2023, Springer. 319 s. (Sources and Studies in the History of Mathematics and Physical Sciences; vol. Part F1105)Forskningsoutput: Bok/rapport › Bok › Vetenskaplig › 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, 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
Priser
-
Elisabeth and Werner Leinfellner Award
Hämeen-Anttila, M. (!!Recipient), 6 aug. 2018
Pris: Pris och hedersbetygelser
-
Filosofian, historian, kulttuurin ja taiteen tutkimuksen laitoksen gradupalkinto 2017
Hämeen-Anttila, M. (!!Recipient), 11 maj 2017
Pris: Pris och hedersbetygelser
Aktiviteter
-
Three Minute Thesis Competition
Ilunga, Y. E. (Medlem i organisationskommitté), Strachan, C. (Medlem i organisationskommitté), Hämeen-Anttila, M. (Medlem i organisationskommitté), Singh, P. K. (Medlem i organisationskommitté), de Almeida Souza, L. C. (Abstract reviewer), Duplouy, A. (Abstract reviewer) & Kant, R. (Abstract reviewer)
24 apr. 2026Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
-
What philosophy is for me?
Välikangas, A. (Ordförande i organisationskommitté), Hämeen-Anttila, M. (Talare: Presentation), Kokkonen, T. (Talare: Presentation), Martikainen, J. S. (Talare: Presentation), Tanninen, T. (Talare: Presentation) & Telakivi, P. (Talare: Presentation)
27 apr. 2022Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
-
Gentzen, Gödel, and the constructive justification of consistency proofs for arithmetic
Hämeen-Anttila, M. (!!Speaker)
12 nov. 2021Aktivitet: Typer för tal eller presentation › !!Invited talk
-
Gödel's Functional Interpretation in Context
Hämeen-Anttila, M. (!!Speaker)
9 juli 2021Aktivitet: Typer för tal eller presentation › !!Oral presentation
-
Gödel's notes on constructive foundations of mathematics
Hämeen-Anttila, M. (!!Speaker)
26 juli 2019Aktivitet: Typer för tal eller presentation › !!Oral presentation