Cargando…
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 examined, and a self-referential i...
| Autor principal: | |
|---|---|
| Lenguaje: | eng |
| Publicado: |
Springer
2020
|
| Materias: | |
| Acceso en línea: | https://dx.doi.org/10.1007/978-3-658-29111-2 http://cds.cern.ch/record/2706815 |