Peano aritmeetika korrektsus
Loading...
Date
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Tartu Ülikool
Abstract
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.
Description
Keywords
Peano aritmeetika, Heytingi aritmeetika, korrektsus, institutsioonilik loogika, lambda-arvutus, Peano arithmetic, Heyting arithmetic, consistency, intuitionistic logic, lambda calculus