02764nam 22004815 450 991048443790332120200629135409.03-658-29111-710.1007/978-3-658-29111-2(CKB)4900000000505051(MiAaPQ)EBC6005640(DE-He213)978-3-658-29111-2(PPN)242844057(EXLCZ)99490000000050505120200104d2020 u| 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierDiagonalization in Formal Mathematics /by Paulo Guilherme Santos1st ed. 2020.Wiesbaden :Springer Fachmedien Wiesbaden :Imprint: Springer Spektrum,2020.1 online resource (94 pages)BestMasters,2625-35773-658-29110-9 Diagonalization in Mathematics -- Diagonalization Lemma -- Fixed Point Theorems -- Paradoxes: Liar, Yablo’s Paradox, Curry’s Paradox.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.BestMasters,2625-3577Logic, Symbolic and mathematicalLogicMathematical Logic and Foundationshttps://scigraph.springernature.com/ontologies/product-market-codes/M24005Logichttps://scigraph.springernature.com/ontologies/product-market-codes/E16000Logic, Symbolic and mathematical.Logic.Mathematical Logic and Foundations.Logic.510Santos Paulo Guilhermeauthttp://id.loc.gov/vocabulary/relators/aut1017966BOOK9910484437903321Diagonalization in Formal Mathematics2391168UNINA