Peano aritmeetika korrektsus
Laen...
Kuupäev
Autorid
Ajakirja pealkiri
Ajakirja ISSN
Köite pealkiri
Kirjastaja
Tartu Ülikool
Abstrakt
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.
Kirjeldus
Märksõnad
Peano aritmeetika, Heytingi aritmeetika, korrektsus, institutsioonilik loogika, lambda-arvutus, Peano arithmetic, Heyting arithmetic, consistency, intuitionistic logic, lambda calculus