Diagonalization in Formal Mathematics
Diagonalization in Formal Mathematics
Diagonalization in Formal Mathematics
Diagonalization in Formal Mathematics
59.95
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.

0 | 0