Nepotpunost i neodlučivost aritmetike

Abstract

U ovom radu dokazuju se Gödelovi teoremi nepotpunosti koji ukazuju na fundamentalna ograničenja dokazivosti unutar teorija prvog reda. Nadalje, dokazuje se Tarskijev teorem o nedefinabilnosti aritmetičke istine, te Churchov teorem o neodlučivosti logike prvog reda. U prvom dijelu obrađuje se postupak aritmetizacije sintakse i definiraju se aritmetičke relacije dokazivosti u teorijama. Zatim se dokazuje da se takve relacije mogu reprezentirati u dovoljno jakim teorijama, iz čega lako slijede gore spomenuti rezultati. Na kraju se razmatra pitanje dokazivosti konzistentnosti u teorijama te se dokazuje Gödelov drugi teorem nepotpunosti.The main goal of this thesis is proving Gödel’s incompleteness theorems, which establish fundamental limitations of provability in first-order theories. Additionally, we prove Tarski’s nondefinability theorem and Church’s undecidability theorem. In the first part, we describe the process of arithmetization and define arithmetical provability predicates. Next, we show that such predicates can be represented in all sufficiently strong theories, from which the results mentioned above immediately follow. Finally, we explore the provability of consistency and prove Gödel’s second incompleteness theorem