Diagonalization in Formal Mathematics
Diagonalization in Formal Mathematics
In this book, diagonalization is analyzed in a mathematical and philosophical point. Self-reference (diagonalization lemma) is studied in a formal framework. A general theory of diagonalization is presented with mathematical examples: diagonal argument, KnasterāTarski theorem, and Banach theorem.