Télécharger le livre :  Diagonalization in Formal Mathematics
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. After that, Yablo’s paradox is...

Editeur : Springer Spektrum
Parution : 2020-01-04
Collection : BestMasters PDF

52,74

Téléchargement immédiat
Dès validation de votre commande