Olen logiikanhistorioitsija, jonka tutkimustyö on keskittynyt pitkälti matemaattiseen intuitionismiin ja konstruktiivisiin logiikoihin. Intuitionismin filosofisessa keskiössä ovat kysymykset matematiikan abstraktin ja objektiivisen luonteen yhteensovittamisessa ihmisen rajatun tiedollisen näkökulman kanssa. Konstruktiiviset logiikat keskittyvätkin totuuden sijaan tiedollisiin käsitteisiin, kuten laskettavuus ja todistettavuus, ja pyrkivät muotoilemaan periaatteensa niistä käsin. Totuus ei suoraan implikoi todistettavuutta, vaan tietomme ulkopuolelle jää paljon totuuksia, joista jotkin jäävät kenties ihmiskunnalta iäisesti selittämättä.
Tutkin väitöskirjassani “Gödel on Intuitionism and Constructive Foundations of Mathematics” (2020, Helsingin yliopisto) modernin logiikan tärkeimpiin nimiin kuuluvan Kurt Gödelin näkemyksiä intuitionismista matematiikan perusteissa. Gödelin tunnetuin tulos, logiikan epätäydellisyyslauseet, osoittaa formaalissa kontekstissa, että todistettavuus ja totuus eivät kohtaa: jokaisessa tarpeeksi ilmaisuvoimaisessa loogisessa järjestelmässä on tosia lauseita, joille ei löydy järjestelmässä todistusta. Tärkeimmät lähteeni olivat julkaisemattomia pikakirjoitusmuistiinpanoja, jotka olivat jääneet niiden kirjoitusmuodon takia aiemman tutkimuksen ulkopuolelle.
Väitöskirjani jälkeen toimin vuoteen 2023 asti tutkijatohtorina ERC-rahoitetussa Gödeliana-tutkimusryhmässä, jonka tarkoitus oli uudistaa Gödel-tutkimusta juuri julkaisemattomien aineistojen kautta. Tärkeimpiin saavutuksiini projektissa kuuluvat Gödelin “Princeton Lectures on Intuitionism” (Hämeen-Anttila & von Plato, 2021) ja “Results on Foundations” (Hämeen-Anttila & von Plato, 2023) -editioiden toimittaminen. Toimin tällä hetkellä asiantuntijana Helsingin yliopiston tutkimuspalveluissa, missä päätyöhöni kuuluu tohtorikoulutuksen kehittäminen.