Kurt Gödel / Hämeen-Anttila, Maria ; von Plato, Jan  

Público ISBD Ningún comentario para este registro. Título : Kurt Gödel : The Princeton Lectures on Intuitionism Tipo de documento: documento electrónico Autores: Hämeen-Anttila, Maria, ; von Plato, Jan, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2021 Número de páginas: IX, 133 p. ISBN/ISSN/DL: 978-3-030-87296-0 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: Matemáticas  Historia  Lógica  Filosofía  Historia de las Ciencias Matemáticas  Historia de la Filosofía Índice Dewey: 510.9 Resumen: El París del año 1900 dejó dos hitos: la Torre Eiffel y la célebre lista de veinticuatro problemas matemáticos de David Hilbert presentada en una conferencia que abrió el nuevo siglo. Kurt Gödel, un ícono lógico de esa época, demostró que el ideal de Hilbert de una axiomatización completa de las matemáticas era inalcanzable. El resultado, de 1931, se denomina teorema de incompletitud de Gödel. Luego, Gödel atacó el primer y segundo problema de París de Hilbert, a saber, el problema del continuo de Cantor sobre el tipo de infinito de los números reales y la ausencia de contradicción de la teoría de los números reales. En 1963, quedó claro que la primera pregunta de Hilbert no podía responderse por ningún medio conocido, y la mitad del crédito de este aparente paso en falso recaía en Gödel. El segundo es un problema aún abierto. Gödel trabajó en ello durante años, sin resultados definitivos; Lo mejor que podía ofrecer era empezar con la aritmética de los números enteros. Este libro, las conferencias de Gödel en el famoso Instituto de Estudios Avanzados de Princeton en 1941, muestra hasta dónde había llegado con el segundo problema de Hilbert, es decir, una teoría de funcionales computables de tipo finito y una prueba de la consistencia de la aritmética ordinaria. Ofrece una lectura indispensable para lógicos, matemáticos e informáticos interesados ​​en cuestiones fundamentales. Servirá de base para futuras investigaciones sobre el vasto Nachlass de notas inéditas de Gödel sobre cómo extender los resultados de sus conferencias a la teoría de los números reales. El libro también ofrece información sobre el trabajo conceptual y formal que se necesita para la solución de cuestiones científicas profundas, por parte de una de las figuras centrales de la ciencia y la filosofía del siglo XX. Nota de contenido: Gödel's Functional Interpretation in Context -- Part I: Axiomatic Intuitionist Logic -- Part II: The Functional Interpretation -- References -- Name Index. 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 Kurt Gödel : The Princeton Lectures on Intuitionism [documento electrónico] / Hämeen-Anttila, Maria, ; von Plato, Jan,  . -  1 ed.  . - [s.l.] : Springer, 2021 . - IX, 133 p. ISBN : 978-3-030-87296-0 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: Matemáticas  Historia  Lógica  Filosofía  Historia de las Ciencias Matemáticas  Historia de la Filosofía Índice Dewey: 510.9 Resumen: El París del año 1900 dejó dos hitos: la Torre Eiffel y la célebre lista de veinticuatro problemas matemáticos de David Hilbert presentada en una conferencia que abrió el nuevo siglo. Kurt Gödel, un ícono lógico de esa época, demostró que el ideal de Hilbert de una axiomatización completa de las matemáticas era inalcanzable. El resultado, de 1931, se denomina teorema de incompletitud de Gödel. Luego, Gödel atacó el primer y segundo problema de París de Hilbert, a saber, el problema del continuo de Cantor sobre el tipo de infinito de los números reales y la ausencia de contradicción de la teoría de los números reales. En 1963, quedó claro que la primera pregunta de Hilbert no podía responderse por ningún medio conocido, y la mitad del crédito de este aparente paso en falso recaía en Gödel. El segundo es un problema aún abierto. Gödel trabajó en ello durante años, sin resultados definitivos; Lo mejor que podía ofrecer era empezar con la aritmética de los números enteros. Este libro, las conferencias de Gödel en el famoso Instituto de Estudios Avanzados de Princeton en 1941, muestra hasta dónde había llegado con el segundo problema de Hilbert, es decir, una teoría de funcionales computables de tipo finito y una prueba de la consistencia de la aritmética ordinaria. Ofrece una lectura indispensable para lógicos, matemáticos e informáticos interesados ​​en cuestiones fundamentales. Servirá de base para futuras investigaciones sobre el vasto Nachlass de notas inéditas de Gödel sobre cómo extender los resultados de sus conferencias a la teoría de los números reales. El libro también ofrece información sobre el trabajo conceptual y formal que se necesita para la solución de cuestiones científicas profundas, por parte de una de las figuras centrales de la ciencia y la filosofía del siglo XX. Nota de contenido: Gödel's Functional Interpretation in Context -- Part I: Axiomatic Intuitionist Logic -- Part II: The Functional Interpretation -- References -- Name Index. 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) Por página: 25 50 100 200