LEADER 02764nam  22004815  450 
001 9910484437903321
005 20200629135409.0
010   $a3-658-29111-7
024 7 $a10.1007/978-3-658-29111-2
035   $a(CKB)4900000000505051
035   $a(MiAaPQ)EBC6005640
035   $a(DE-He213)978-3-658-29111-2
035   $a(PPN)242844057
035   $a(EXLCZ)994900000000505051
100   $a20200104d2020      u|         0
101 0 $aeng
135   $aurcnu||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aDiagonalization in Formal Mathematics /$fby Paulo Guilherme Santos
205   $a1st ed. 2020.
210  1$aWiesbaden :$cSpringer Fachmedien Wiesbaden :$cImprint: Springer Spektrum,$d2020.
215   $a1 online resource (94 pages)
225 1 $aBestMasters,$x2625-3577
311   $a3-658-29110-9 
327   $aDiagonalization in Mathematics -- Diagonalization Lemma -- Fixed Point Theorems -- Paradoxes: Liar, Yablo?s Paradox, Curry?s Paradox.
330   $aIn 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 Tu?bingen, Germany. His field of work is logic, e.g. formal arithmetic, provability logic, provability predicates, and paradoxes.
410  0$aBestMasters,$x2625-3577
606   $aLogic, Symbolic and mathematical
606   $aLogic
606   $aMathematical Logic and Foundations$3https://scigraph.springernature.com/ontologies/product-market-codes/M24005
606   $aLogic$3https://scigraph.springernature.com/ontologies/product-market-codes/E16000
615  0$aLogic, Symbolic and mathematical.
615  0$aLogic.
615 14$aMathematical Logic and Foundations.
615 24$aLogic.
676   $a510
700   $aSantos$b Paulo Guilherme$4aut$4http://id.loc.gov/vocabulary/relators/aut$01017966
906   $aBOOK
912   $a9910484437903321
996   $aDiagonalization in Formal Mathematics$92391168
997   $aUNINA