國立虎尾科技大學 |

Diagonalization in Formal Mathematics

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Diagonalization in Formal Mathematics/ by Paulo Guilherme Santos.
作者:	Santos, Paulo Guilherme.
面頁冊數:	X, 89 p. 1 illus.online resource. :
Contained By:	Springer Nature eBook
標題:	Mathematical Logic and Foundations. -
電子資源:	https://doi.org/10.1007/978-3-658-29111-2
ISBN:	9783658291112

Diagonalization in Formal Mathematics
Santos, Paulo Guilherme.

Diagonalization in Formal Mathematics[electronic resource] /by Paulo Guilherme Santos. - 1st ed. 2020. - X, 89 p. 1 illus.online resource. - BestMasters,2625-3577. - BestMasters,.

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 Tübingen, Germany. His field of work is logic, e.g. formal arithmetic, provability logic, provability predicates, and paradoxes.

ISBN: 9783658291112

Standard No.: 10.1007/978-3-658-29111-2doiSubjects--Topical Terms:

669393
Mathematical Logic and Foundations.

LC Class. No.: QA8.9-10.3

Dewey Class. No.: 511.3

Diagonalization in Formal Mathematics
LDR:02487nam a22004095i 4500 001 1021920
003 DE-He213
005 20200629135409.0
007 cr nn 008mamaa
008 210318s2020 gw | s |||| 0|eng d
020 $a 9783658291112 $9 978-3-658-29111-2
024 7 $a 10.1007/978-3-658-29111-2 $2 doi
035 $a 978-3-658-29111-2
050 4 $a QA8.9-10.3
072 7 $a PBC $2 bicssc
072 7 $a MAT018000 $2 bisacsh
072 7 $a PBC $2 thema
072 7 $a PBCD $2 thema
082 0 4 $a 511.3 $2 23
100 1 $a Santos, Paulo Guilherme. $e author. $4 aut $4 http://id.loc.gov/vocabulary/relators/aut $3 1317606
245 1 0 $a Diagonalization in Formal Mathematics $h [electronic resource] / $c by Paulo Guilherme Santos.
250 $a 1st ed. 2020.
264 1 $a Wiesbaden : $b Springer Fachmedien Wiesbaden : $b Imprint: Springer Spektrum, $c 2020.
300 $a X, 89 p. 1 illus. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
490 1 $a BestMasters, $x 2625-3577
505 0 $a Diagonalization in Mathematics -- Diagonalization Lemma -- Fixed Point Theorems -- Paradoxes: Liar, Yablo’s Paradox, Curry’s Paradox.
520 $a 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 Tübingen, Germany. His field of work is logic, e.g. formal arithmetic, provability logic, provability predicates, and paradoxes.
650 1 4 $a Mathematical Logic and Foundations. $3 669393
650 0 $a Logic. $3 558909
650 0 $a Mathematical logic. $2 bicssc $3 810627
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783658291105
776 0 8 $i Printed edition: $z 9783658291129
830 0 $a BestMasters, $x 2625-3577 $3 1253531
856 4 0 $u https://doi.org/10.1007/978-3-658-29111-2
912 $a ZDB-2-SMA
912 $a ZDB-2-SXMS
950 $a Mathematics and Statistics (SpringerNature-11649)
950 $a Mathematics and Statistics (R0) (SpringerNature-43713)