prikaz prve stranice dokumenta Nepotpunost Peanove aritmetike
Access restricted to students and staff of home institution
master's thesis
Nepotpunost Peanove aritmetike
Split: University of Split, University of Split, Faculty of science, 2021. urn:nbn:hr:166:377090
Krišto, Anđela
University of Split
Faculty of Science
Department of Mathematics

Institutional repository: Repository of Faculty of Science

Cite this document

Krišto, A. (2021). Nepotpunost Peanove aritmetike (Master's thesis). Split: University of Split, Faculty of Science. Retrieved from https://urn.nsk.hr/urn:nbn:hr:166:377090

Krišto, Anđela. "Nepotpunost Peanove aritmetike." Master's thesis, University of Split, Faculty of Science, 2021. https://urn.nsk.hr/urn:nbn:hr:166:377090

Krišto, Anđela. "Nepotpunost Peanove aritmetike." Master's thesis, University of Split, Faculty of Science, 2021. https://urn.nsk.hr/urn:nbn:hr:166:377090

Krišto, A. (2021). 'Nepotpunost Peanove aritmetike', Master's thesis, University of Split, Faculty of Science, accessed 12 September 2024, https://urn.nsk.hr/urn:nbn:hr:166:377090

Krišto A. Nepotpunost Peanove aritmetike [Master's thesis]. Split: University of Split, Faculty of Science; 2021 [cited 2024 September 12] Available at: https://urn.nsk.hr/urn:nbn:hr:166:377090

A. Krišto, "Nepotpunost Peanove aritmetike", Master's thesis, University of Split, Faculty of Science, Split, 2021. Available at: https://urn.nsk.hr/urn:nbn:hr:166:377090

Metadata
TitleNepotpunost Peanove aritmetike
Title (english)The incompleteness of Peano arithmetic
AuthorAnđela Krišto
MentorMilica Klaričić Bakula (mentor)
Committee memberMilica Klaričić Bakula (predsjednik povjerenstva)
Committee memberTanja Vojković (član povjerenstva)
Committee memberJelena Pleština (član povjerenstva)
GranterUniversity of Split
Faculty of Science
(Department of Mathematics)
Split
Defense date and country2021-05-17, Croatia
Scientific / art field,
discipline and subdiscipline		NATURAL SCIENCES
Mathematics
Abstract
Teoremi nepotpunosti Kurta Gödela su jedni od važnijih rezultata u matematičkoj logici. U ovom radu su opisani apstraktni sistemi na koje se odnosi prvi Gödelov teorem nepotpunosti. Posebna pozornost je dana Peanovoj aritmetici s i bez potenciranja koje su uvedene aksiomatski i dokazano je da su one nepotpune. Osim toga, opisana je i Gödelova numerizacija koja igra ključnu ulogu u dokazivanju nepotpunosti.
Abstract (english)
Godel’s incompleteness theorems are among the most important results of Mathematical Logic. In this thesis abstract systems to which the first incompleteness theorem can be applied are described. In particular, Peano arithmetic with and without exponentiation is axiomatically introduced and its incompleteness is shown. In addition, Godel’s numbering has been described. It plays an important role in the proof of the incompleteness theorem.
Keywords
Keywords (english)
Languagecroatian
URN:NBNurn:nbn:hr:166:377090
Study programmeTitle: Mathematics; specializations in: major in pure mathematics, major in computing, major in teaching, major in statistics and computing
Course: major in computing
Study programme type: university
Study level: graduate
Academic / professional title: magistar/magistra matematike (magistar/magistra matematike)
Type of resourceText
File originBorn digital
Access conditionsAccess restricted to students and staff of home institution
Terms of useLicence In copyright icon
Created on2021-05-31 08:41:54