Diagonalization in Formal Mathematics / / by Paulo Guilherme Santos

• Autore: Santos Paulo Guilherme
• Pubblicazione: Wiesbaden : , : Springer Fachmedien Wiesbaden : , : Imprint : Springer Spektrum, , 2020
• Edizione: 1st ed. 2020.
• Descrizione fisica: 1 online resource (94 pages)
• Disciplina: 510
• Soggetto topico: Logic, Symbolic and mathematical; Logic; Mathematical Logic and Foundations
• Nota di contenuto: Diagonalization in Mathematics -- Diagonalization Lemma -- Fixed Point Theorems -- Paradoxes: Liar, Yablo’s Paradox, Curry’s Paradox.
• Sommario/riassunto: 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 interpretation is given. From that, a general structure of diagonalization with paradoxes is presented. Finally, the author studies a general theory of diagonalization with the help of examples from mathematics. Contents Diagonalization in Mathematics Diagonalization Lemma Fixed Point Theorems Paradoxes: Liar, Yablo’s Paradox, Curry’s Paradox Target Groups Researchers and students in the fields of mathematics and philosophy The Author Paulo Guilherme Santos is currently a PhD student at FCT, Universidade Nova de Lisboa, Portugal and at University of Tübingen, Germany. His field of work is logic, e.g. formal arithmetic, provability logic, provability predicates, and paradoxes.
• Titolo autorizzato: Diagonalization in Formal Mathematics
• ISBN: 3-658-29111-7
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 9910484437903321
• Lo trovi qui: Univ. Federico II
• Serie: BestMasters, . 2625-3577