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.
Ik heb een vraag over het boek: ‘Diagonalization in Formal Mathematics - Santos, Paulo Guilherme’.
Vul het onderstaande formulier in.
We zullen zo spoedig mogelijk antwoorden.
