Diagonalization in Formal Mathematics. 2020 ed., Paperback/Paulo Guilherme Santos

In this book, Paulo Guilherme Santos studies diagonalization in formal mathematics from logical aspects to everyday mathematics. He starts with a study of the diagonalization lemma and its relation to the strong diagonalization lemma. Finally, the author studies a general theory of diagonalization with the help of examples from mathematics. Publisher: Springer Fachmedien Wiesbaden Author(s): Paulo Guilherme Santos Illustration(s): 1 Illustrations, black and white; X, 89 p. 1 illus. Number of pages: 89 Collection: BestMasters Publication date: 2020 Dimensions: 147 x 211 x 8 Cover type: Paperback / softback