Diagonalization in formal mathematics
Auteur :
Santos, Paulo Guilherme
Éditeur :
Springer Fachmedien Wiesbaden
ISBN :
9783658291105
Date de publication :
5 janv. 2020
Dimensions :
21,0 x 14,8 cm
Langue :
Anglais
Pays d'origine :
Allemagne
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.