Diagonalization in Formal Mathematics [electronic resource] by Paulo Guilherme Santos.
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...
Uniform Title: | BestMasters,
2625-3615 |
---|---|
Main Author: | |
Corporate Author: | |
Language: | English |
Published: |
Wiesbaden :
Springer Fachmedien Wiesbaden : Imprint: Springer Spektrum,
2020.
|
Edition: | 1st ed. 2020. |
Series: | BestMasters,
|
Subjects: | |
Online Access: | |
Format: | Electronic eBook |
System Under Maintenance
Our Library Management System is currently under maintenance.
Holdings and item availability information is currently unavailable. Please accept our apologies for any inconvenience this may cause and contact us for further assistance:
Please contact Reference and Discovery Services via their Contact Form or call them directly at: 517-353-8700 for assistance.