Tutkimustuotoksia vuodessa
Tutkimustuotoksia vuodessa
Hakutulokset
-
2021
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)Tutkimustuotos: Kirja/raportti › Kirja › Tieteellinen › vertaisarvioitu
-
2020
Gödel intuitionismista ja matematiikan konstruktiivisista perusteista
Hämeen-Anttila, M., 2020, julkaisussa: Ajatus. 77, s. 439-448 10 SivumääräTutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen
-
Gödel on intuitionism and constructive foundations of mathematics
Hämeen-Anttila, M., 2020, Helsinki: Helsingin yliopisto.Tutkimustuotos: Opinnäyte › Väitöskirja › Monografia
Open access -
2019
Nominalistic ordinals, recursion on higher types, and finitism
Hämeen-Anttila, M., 2019, julkaisussa: Bulletin of Symbolic Logic. 25, 1, s. 101-124 24 SivumääräTutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu
Open accessTiedosto -
2018
Gödel's early impressions of intuitionism
Hämeen-Anttila, M., 2018, julkaisussa: Contributions of the Austrian Ludwig Wittgenstein Society. XXVI, s. 76-78 3 SivumääräTutkimustuotos: Artikkelijulkaisu › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu