prikaz prve stranice dokumenta Nepotpunost Peanove aritmetike
Pristup korisnicima matične ustanove
diplomski rad
Nepotpunost Peanove aritmetike
Split: Sveučilište u Splitu, Prirodoslovno-matematički fakultet, 2021. urn:nbn:hr:166:377090
Krišto, Anđela
Sveučilište u Splitu
Prirodoslovno-matematički fakultet
Odjel za matematiku

Institucijski repozitorij: repozitorij.pmfst.unist.hr

Citirajte ovaj rad

Krišto, A. (2021). Nepotpunost Peanove aritmetike (Diplomski rad). Split: Sveučilište u Splitu, Prirodoslovno-matematički fakultet. Preuzeto s https://urn.nsk.hr/urn:nbn:hr:166:377090

Krišto, Anđela. "Nepotpunost Peanove aritmetike." Diplomski rad, Sveučilište u Splitu, Prirodoslovno-matematički fakultet, 2021. https://urn.nsk.hr/urn:nbn:hr:166:377090

Krišto, Anđela. "Nepotpunost Peanove aritmetike." Diplomski rad, Sveučilište u Splitu, Prirodoslovno-matematički fakultet, 2021. https://urn.nsk.hr/urn:nbn:hr:166:377090

Krišto, A. (2021). 'Nepotpunost Peanove aritmetike', Diplomski rad, Sveučilište u Splitu, Prirodoslovno-matematički fakultet, citirano: 26.12.2024., https://urn.nsk.hr/urn:nbn:hr:166:377090

Krišto A. Nepotpunost Peanove aritmetike [Diplomski rad]. Split: Sveučilište u Splitu, Prirodoslovno-matematički fakultet; 2021 [pristupljeno 26.12.2024.] Dostupno na: https://urn.nsk.hr/urn:nbn:hr:166:377090

A. Krišto, "Nepotpunost Peanove aritmetike", Diplomski rad, Sveučilište u Splitu, Prirodoslovno-matematički fakultet, Split, 2021. Dostupno na: https://urn.nsk.hr/urn:nbn:hr:166:377090

Za citiranje koristite ovu mrežnu adresu: https://urn.nsk.hr/urn:nbn:hr:166:377090
Podaci o radu
NaslovNepotpunost Peanove aritmetike
Naslov (engleski)The incompleteness of Peano arithmetic
AutorAnđela Krišto
MentorMilica Klaričić Bakula (mentor)
Član povjerenstvaMilica Klaričić Bakula (predsjednik povjerenstva)
Član povjerenstvaTanja Vojković (član povjerenstva)
Član povjerenstvaJelena Pleština (član povjerenstva)
Ustanova koja je dodijelila
akademski / stručni stupanj		Sveučilište u Splitu
Prirodoslovno-matematički fakultet
(Odjel za matematiku)
Split
Datum i država obrane2021-05-17, Hrvatska
Znanstveno / umjetničko
područje, polje i grana		PRIRODNE ZNANOSTI
Matematika
Sažetak
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.
Sažetak (engleski)
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.
Ključne riječi
Ključne riječi (engleski)
Jezikhrvatski
URN:NBNurn:nbn:hr:166:377090
Studijski programNaziv: Matematika; smjerovi: teorijski, računarski, nastavnički, statistika i računarstvo
Smjer: računarski
Vrsta studija: sveučilišni
Stupanj studija: diplomski
Akademski / stručni naziv: magistar/magistra matematike (mag. math.)
Vrsta resursaTekst
Način izrade datotekeIzvorno digitalna
Prava pristupaPristup korisnicima matične ustanove
Uvjeti korištenjaIkona licence Zaštićeno autorskim pravom.
Datum i vrijeme pohrane2021-05-31 08:41:54