Diagonalization in Formal Mathematics / Santos, Paulo Guilherme  

Público ISBD Ningún comentario para este título. Título : Diagonalization in Formal Mathematics Tipo de documento: documento electrónico Autores: Santos, Paulo Guilherme, Mención de edición: 1 ed. Editorial: Berlin [Alemania] : Springer Fecha de publicación: 2020 Número de páginas: X, 89 p. 1 ilustraciones ISBN/ISSN/DL: 978-3-658-29111-2 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Lógica matemática  Lógica  Lógica Matemática y Fundamentos Clasificación: 511.3 Resumen: En este libro, Paulo Guilherme Santos estudia la diagonalización en matemáticas formales desde los aspectos lógicos hasta las matemáticas cotidianas. Comienza con un estudio del lema de diagonalización y su relación con el lema de diagonalización fuerte. Después de eso, se examina la paradoja de Yablo y se da una interpretación autorreferencial. A partir de eso, se presenta una estructura general de diagonalización con paradojas. Finalmente, el autor estudia una teoría general de la diagonalización con la ayuda de ejemplos matemáticos. Contenidos Diagonalización en Matemáticas Lema de Diagonalización Teoremas del Punto Fijo Paradojas: Mentiroso, Paradoja de Yablo, Paradoja de Curry Grupos objetivo Investigadores y estudiantes en los campos de las matemáticas y la filosofía El autor Paulo Guilherme Santos es actualmente estudiante de doctorado en la FCT, Universidade Nova de Lisboa, Portugal y en la Universidad de Tübingen, Alemania. Su campo de trabajo es la lógica, por ejemplo, aritmética formal, lógica de demostrabilidad, predicados de demostrabilidad y paradojas. Nota de contenido: Diagonalization in Mathematics -- Diagonalization Lemma -- Fixed Point Theorems -- Paradoxes: Liar, Yablo's Paradox, Curry's Paradox. Tipo de medio : Computadora 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 atUniversity of Tübingen, Germany. His field of work is logic, e.g. formal arithmetic, provability logic, provability predicates, and paradoxes. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Diagonalization in Formal Mathematics [documento electrónico] / Santos, Paulo Guilherme,  . -  1 ed.  . - Berlin [Alemania] : Springer, 2020 . - X, 89 p. 1 ilustraciones. ISBN : 978-3-658-29111-2 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Lógica matemática  Lógica  Lógica Matemática y Fundamentos Clasificación: 511.3 Resumen: En este libro, Paulo Guilherme Santos estudia la diagonalización en matemáticas formales desde los aspectos lógicos hasta las matemáticas cotidianas. Comienza con un estudio del lema de diagonalización y su relación con el lema de diagonalización fuerte. Después de eso, se examina la paradoja de Yablo y se da una interpretación autorreferencial. A partir de eso, se presenta una estructura general de diagonalización con paradojas. Finalmente, el autor estudia una teoría general de la diagonalización con la ayuda de ejemplos matemáticos. Contenidos Diagonalización en Matemáticas Lema de Diagonalización Teoremas del Punto Fijo Paradojas: Mentiroso, Paradoja de Yablo, Paradoja de Curry Grupos objetivo Investigadores y estudiantes en los campos de las matemáticas y la filosofía El autor Paulo Guilherme Santos es actualmente estudiante de doctorado en la FCT, Universidade Nova de Lisboa, Portugal y en la Universidad de Tübingen, Alemania. Su campo de trabajo es la lógica, por ejemplo, aritmética formal, lógica de demostrabilidad, predicados de demostrabilidad y paradojas. Nota de contenido: Diagonalization in Mathematics -- Diagonalization Lemma -- Fixed Point Theorems -- Paradoxes: Liar, Yablo's Paradox, Curry's Paradox. Tipo de medio : Computadora 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 atUniversity of Tübingen, Germany. His field of work is logic, e.g. formal arithmetic, provability logic, provability predicates, and paradoxes. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]

---

1 (1 - 1 / 1) Ver por página : 25 50 100 200