Coverart for item
The Resource Diagonalization in Formal Mathematics, by Paulo Guilherme Santos, (electronic resource)

Diagonalization in Formal Mathematics, by Paulo Guilherme Santos, (electronic resource)

Label
Diagonalization in Formal Mathematics
Title
Diagonalization in Formal Mathematics
Statement of responsibility
by Paulo Guilherme Santos
Creator
Subject
Language
eng
Summary
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.--
Member of
Assigning source
Provided by publisher
http://library.link/vocab/creatorName
Santos, Paulo Guilherme
Image bit depth
0
Literary form
non fiction
Nature of contents
dictionaries
Series statement
  • BestMasters,
  • Springer eBooks.
http://library.link/vocab/subjectName
  • Mathematical logic
  • Logic
Label
Diagonalization in Formal Mathematics, by Paulo Guilherme Santos, (electronic resource)
Link
https://eui.idm.oclc.org/login?url=https://doi.org/10.1007/978-3-658-29111-2
Instantiates
Publication
Antecedent source
mixed
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
not applicable
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Diagonalization in Mathematics -- Diagonalization Lemma -- Fixed Point Theorems -- Paradoxes: Liar, Yablo’s Paradox, Curry’s Paradox
Control code
978-3-658-29111-2
Dimensions
unknown
Edition
1st ed. 2020.
Extent
1 online resource (X, 89 pages)
File format
multiple file formats
Form of item
  • online
  • electronic
Governing access note
Use of this electronic resource may be governed by a license agreement which restricts use to the European University Institute community. Each user is responsible for limiting use to individual, non-commercial purposes, without systematically downloading, distributing, or retaining substantial portions of information, provided that all copyright and other proprietary notices contained on the materials are retained. The use of software, including scripts, agents, or robots, is generally prohibited and may result in the loss of access to these resources for the entire European University Institute community
Isbn
9783658291112
Level of compression
uncompressed
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other physical details
1 illustration
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote
System control number
(OCoLC)1135668414
Label
Diagonalization in Formal Mathematics, by Paulo Guilherme Santos, (electronic resource)
Link
https://eui.idm.oclc.org/login?url=https://doi.org/10.1007/978-3-658-29111-2
Publication
Antecedent source
mixed
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
not applicable
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Diagonalization in Mathematics -- Diagonalization Lemma -- Fixed Point Theorems -- Paradoxes: Liar, Yablo’s Paradox, Curry’s Paradox
Control code
978-3-658-29111-2
Dimensions
unknown
Edition
1st ed. 2020.
Extent
1 online resource (X, 89 pages)
File format
multiple file formats
Form of item
  • online
  • electronic
Governing access note
Use of this electronic resource may be governed by a license agreement which restricts use to the European University Institute community. Each user is responsible for limiting use to individual, non-commercial purposes, without systematically downloading, distributing, or retaining substantial portions of information, provided that all copyright and other proprietary notices contained on the materials are retained. The use of software, including scripts, agents, or robots, is generally prohibited and may result in the loss of access to these resources for the entire European University Institute community
Isbn
9783658291112
Level of compression
uncompressed
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other physical details
1 illustration
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote
System control number
(OCoLC)1135668414

Library Locations

    • Badia FiesolanaBorrow it
      Via dei Roccettini 9, San Domenico di Fiesole, 50014, IT
      43.803074 11.283055
Processing Feedback ...