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
Format(s) : PDF
52,74

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