Gödel intuitionismista ja matematiikan konstruktiivisista perusteista

Författare

  • Maria Hämeen-Anttila Helsingin yliopisto

Abstract

Gödel intuitionismista ja matematiikan konstruktiivisista perusteista

Nummer
Vol 77 Nr 1 (2020): Ajatus 77
Sektion
Lektiot

Publicerad

2020-12-07

Referera så här

Hämeen-Anttila, M. (2020). Gödel intuitionismista ja matematiikan konstruktiivisista perusteista. Ajatus, 77(1), 439–448. Hämtad från https://journal.fi/ajatus/article/view/100286