Foto av Maria Hämeen-Anttila
  • PL 24 (Unioninkatu 40)

    00014

    Finland

20192019

Forskningsoutput per år

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

Personlig profil

Utbildning / akademisk kvalifikation

Theoretical philosophy, MA, Helsingfors universitet

Vetenskapsgrenar

  • 611 Filosofi

Publikationer

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: TidskriftsbidragArtikelVetenskapligPeer review

Öppen tillgång
Fil

Priser

Elisabeth and Werner Leinfellner Award

Maria Hämeen-Anttila (!!Recipient), 6 aug 2018

Pris: Pris och hedersbetygelser

Aktiviteter

  • 7 !!Oral presentation

Gödel's notes on constructive foundations of mathematics

Maria Hämeen-Anttila (!!Speaker)
26 jul 2019

Aktivitet: Typer för tal eller presentation!!Oral presentation

Gödel's Early Views on Intuitionism

Maria Hämeen-Anttila (!!Speaker)
18 apr 2018

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

Gödel's early critique of intuitionism

Maria Hämeen-Anttila (!!Speaker)
2017

Aktivitet: Typer för tal eller presentation!!Oral presentation

Transfinite ordinals from a finitary standpoint

Maria Hämeen-Anttila (!!Speaker)
5 aug 2017

Aktivitet: Typer för tal eller presentation!!Oral presentation