Peano aritmeetika korrektsus

dc.contributor.advisor	Ahman, Danel, juhendaja	et
dc.contributor.advisor	Reimaa, Ülo, juhendaja	et
dc.contributor.author	Madisson, Aiden
dc.contributor.other	Tartu Ülikool. Matemaatika ja statistika instituut	et
dc.contributor.other	Tartu Ülikool. Loodus- ja täppisteaduste valdkond	et
dc.date.accessioned	2025-07-21T13:11:11Z
dc.date.available	2025-07-21T13:11:11Z
dc.date.issued	2025
dc.description.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.	et
dc.identifier.uri	https://hdl.handle.net/10062/112247
dc.language.iso	et
dc.publisher	Tartu Ülikool	et
dc.rights	Attribution-NonCommercial-NoDerivs 3.0 Estonia	en
dc.rights.uri	http://creativecommons.org/licenses/by-nc-nd/3.0/ee/
dc.subject	Peano aritmeetika	et
dc.subject	Heytingi aritmeetika	et
dc.subject	korrektsus	et
dc.subject	institutsioonilik loogika	et
dc.subject	lambda-arvutus	et
dc.subject	Peano arithmetic	en
dc.subject	Heyting arithmetic	en
dc.subject	consistency	en
dc.subject	intuitionistic logic	en
dc.subject	lambda calculus	en
dc.subject.other	bakalaureusetööd	et
dc.subject.other	võrguväljaanded
dc.title	Peano aritmeetika korrektsus
dc.type	Thesis	en

Failid

Nüüd näidatakse 1 - 1 1