Budak, Mehmet.
(Thesis (M.S.)-Bogazici University. Institute for Graduate Studies in Science and Engineering, 2010., 2010.)
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 ...