Pregled bibliografske jedinice broj: 558134
Gödelov dokaz nepotpunosti za elementarnu aritmetiku
Gödelov dokaz nepotpunosti za elementarnu aritmetiku, 2010., diplomski rad, diplomski, Filozofski fakultet, Rijeka
CROSBI ID: 558134 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Gödelov dokaz nepotpunosti za elementarnu aritmetiku
(Gödel's incompleteness proof for elementary arithmetic)
Autori
Arbula, Dino
Vrsta, podvrsta i kategorija rada
Ocjenski radovi, diplomski rad, diplomski
Fakultet
Filozofski fakultet
Mjesto
Rijeka
Datum
24.11
Godina
2010
Stranica
34
Mentor
Trobok, Majda
Ključne riječi
Gödelov dokaz; nepotpunost; logika
(Gödel's proof; incompletenessm; logic)
Sažetak
Tema diplomskog rada je, kao što naslov kaže, Gödelov dokaz nepotpunosti za elementarnu aritmetiku. Cilj diplomskog rada nije samo prezentacija ovog intelektualno virtuoznog i povijesno gledano revolucionarnog dokaza, već i postavljanje teorijskog okvira unutar kojeg je dokaz smješten čime se pruža jasnija perspektiva na sam dokaz.
Izvorni jezik
Hrvatski
Znanstvena područja
Filozofija
POVEZANOST RADA
Projekti:
009-0091328-0941 - Logika i stvarnost (Trobok, Majda, MZOS ) ( CroRIS)
Ustanove:
Filozofski fakultet, Rijeka
Profili:
Majda Trobok
(mentor)
