Sirvi Autor "Madisson, Aiden" järgi

Tulemuste filtreerimiseks trükkige paar esimest tähte
Nüüd näidatakse 1 - 1 1
  • Pisipilt
    listelement.badge.dso-type Kirje ,
    Peano aritmeetika korrektsus
    (Tartu Ülikool, 2025) Madisson, Aiden; Ahman, Danel, juhendaja; Reimaa, Ülo, juhendaja; Tartu Ülikool. Matemaatika ja statistika instituut; Tartu Ülikool. Loodus- ja täppisteaduste valdkond
    Antud bakalaureusetöös näidatakse, et Peano aritmeetika on korrektne. Selleks taandakse Peano aritmeetika korrektsuse näitamine Heytingi aritmeetika korrektsusele. Omakorda tehakse kindlaks, et igale Heytingi aritmeetikas tõestatavale valemile vastav Dialektika interpretatsiooni kvantoriteta valem on tõestatav Gödeli süsteemis T.