Forskningsresultat per år
Forskningsresultat per år
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
Internationellt och inhemskt samarbete
Publikationer och projekt inom de senaste fem åren.
-
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
-
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
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
-
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
-
Gödel's Early Views on Intuitionism
Hämeen-Anttila, M. (!!Speaker)
18 apr. 2018Aktivitet: Typer för tal eller presentation › !!Oral presentation