Arşiv ve Dokümantasyon Merkezi
Dijital Arşivi

On the role of diagonalization in Gödel's incompleteness and Tarski's theorems

Basit öğe kaydını göster

dc.contributor Graduate Program in Mathematics.
dc.contributor.advisor Eden, Alp,
dc.contributor.advisor Karatay, Ali.
dc.contributor.author Budak, Mehmet.
dc.date.accessioned 2023-03-16T11:21:36Z
dc.date.available 2023-03-16T11:21:36Z
dc.date.issued 2010.
dc.identifier.other MATH 2010 B83
dc.identifier.uri http://digitalarchive.boun.edu.tr/handle/123456789/15247
dc.description.abstract Three major theorems of arithmetics from early 1930s delineate the enterprise of formalization in mathematics: Gödel's First Incompleteness Theorem, Diagonalization Lemma and Tarski's Theorem. We begin the thesis with a statement and exposition of these theorems. Then we examine their proofs and observe the following structural stratification: The first layer consists in a certain purely syntactical mechanism which constructs self-referential sentences with arithmetical means. Gödel's own proof of his First Completeness Theorem is based on a specific use of this mechanism. Diagonalization Lemma is a generalization of the same mechanism and Tarski's theorem is a direct consequence, almost a corollary, of the Diagonalization Lemma. The actual chronology approximates this logical stratification too: Gödel's First is published in 1931, Diagonalization Lemma in 1934 and Tarski's Theorem in 1933. After completing the exposition of the theorems and their proofs we focus our attention mainly on the rst layer. There we observe that the mentioned self-referential mechanism is achieved using twice a method called diagonalization; abstract this mechanism to general languages; try to generalize a similar method to obtain a couple of other famous theorems like the non-capturability of provability in formal arithmetics; show the intrinsic a finity of Tarski's Theorem with the Liar Paradox and close the thesis discussing the mathematical relevance of the three major theorems.
dc.format.extent 30cm.
dc.publisher Thesis (M.S.)-Bogazici University. Institute for Graduate Studies in Science and Engineering, 2010.
dc.relation Includes index.
dc.relation Includes index.
dc.subject.lcsh Gödel's theorem.
dc.subject.lcsh Banach-Tarski paradox.
dc.title On the role of diagonalization in Gödel's incompleteness and Tarski's theorems
dc.format.pages xi, 73 leaves;


Bu öğenin dosyaları

Bu öğe aşağıdaki koleksiyon(lar)da görünmektedir.

Basit öğe kaydını göster

Dijital Arşivde Ara


Göz at

Hesabım