Diagonalization in Formal Mathematics / Santos, Paulo Guilherme  

Público ISBD Ningún comentario para este registro. Título : Diagonalization in Formal Mathematics Tipo de documento: documento electrónico Autores: Santos, Paulo Guilherme, Autor 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. Palabras clave: Lógica matemática  Lógica  Lógica Matemática y Fundamentos Índice Dewey: 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. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i Diagonalization in Formal Mathematics [documento electrónico] / Santos, Paulo Guilherme, Autor  . -  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. Palabras clave: Lógica matemática  Lógica  Lógica Matemática y Fundamentos Índice Dewey: 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. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i

---

1 (1 - 1 / 1) Par page : 25 50 100 200