Descripción
"Una valiosa colección tanto por el material de origen original como por las formulaciones históricas de los problemas actuales". -- The Review of Metaphysics
"Mucho más que una mera colección de artículos. Una valiosa adición a la literatura". -- Mathematics of Computation
Una antología de trabajos fundamentales sobre la indecibilidad y la irresolubilidad por figuras importantes en el campo, esta referencia clásica es ideal como texto para cursos de posgrado y pregrado en lógica, filosofía y fundamentos de las matemáticas. También es apropiado para el autoaprendizaje.
El texto comienza con el trascendental artículo de Godel de 1931 que demuestra que los sistemas de lógica no pueden admitir pruebas de todas las afirmaciones verdaderas de la aritmética. Los artículos posteriores de Godel, Church, Turing y Post señalan la clase de funciones recursivas como computables mediante algoritmos finitos. Artículos adicionales de Church, Turing y Post cubren problemas irresolubles de la teoría de las máquinas de computación abstractas, la lógica matemática y el álgebra, y el material de Kleene y Post incluye el inicio de la teoría de la clasificación de los problemas irresolubles.
Los elementos suplementarios incluyen correcciones, enmiendas y comentarios adicionales de Godel, Church y Kleene para la publicación original de este volumen, junto con un útil comentario del editor.
Autor: Martin Davis
Editorial: Dover Publications
Publicado: 18/02/2004
Páginas: 413
Tipo de encuadernación: Tapa blanda
Peso: 1.16 libras
Tamaño: 9.16h x 6.44w x 0.85d
ISBN13: 9780486432281
ISBN10: 0486432289
Categorías BISAC:
- Matemáticas | Lógica
Sobre el autor
Martin Davis: Pionero de la informática
La relación editorial de Dover con Martin Davis, ahora jubilado de NYU y residente en Berkeley, se remonta a 1985 cuando reimprimimos su clásico libro de 1958 Computability and Unsolvability, ampliamente considerado como un clásico de la informática teórica. Graduado del City College de Nueva York, Davis obtuvo su doctorado en Princeton a finales de la década de 1940 y se convirtió en uno de los primeros programadores informáticos a principios de la década de 1950, trabajando en el ordenador ORDVAC en la Universidad de Illinois. Más tarde se estableció en la NYU, donde ayudó a fundar el Departamento de Ciencias de la Computación.
No muchos libros de los inicios de la informática siguen vivos después de varias décadas, pero Computability and Unsolvability es la excepción. Y The Undecidable es una antología de trabajos fundamentales sobre indecibilidad e irresolubilidad de figuras importantes en el campo, incluyendo a Godel, Church, Turing, Kleene y Post.
Reconocimiento de la crítica para Computability and Unsolvability
"Este libro ofrece una exposición de la teoría de las funciones recursivas y algunas de sus aplicaciones a la lógica y las matemáticas. Está bien escrito y puede recomendarse a cualquiera interesado en este campo. No se presupone ningún conocimiento específico de otras partes de las matemáticas. Aunque no hay ejercicios, el libro es adecuado para su uso como libro de texto". -- J. C. E. Dekker, Bulletin of the American Mathematical Society, 1959
Reconocimiento de la crítica para The Undecidable
"Una valiosa colección tanto por el material de origen original como por las formulaciones históricas de los problemas actuales". -- The Review of Metaphysics
"Mucho más que una mera colección de artículos . . . una valiosa adición a la literatura". -- Mathematics of Computation
Este título no es retornable