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.
I have a question about the book:
‘Diagonalization in Formal Mathematics - Santos, Paulo Guilherme’.
Fill in the form below.
We will respond as fast as possible.