Télécharger le livre :  Diagonalization in Formal Mathematics
Ajouter à ma liste d'envies
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