Descripción
En la Primera Parte (Capítulos 1-5), el Profesor Davis expone la teoría general de la computabilidad, discutiendo temas como funciones computables, operaciones sobre funciones computables, funciones recursivas, máquinas de Turing, problemas de decisión autoaplicados e irresolubles. El autor ha sido cuidadoso, especialmente en los primeros siete capítulos, de no asumir ninguna formación matemática especial por parte del lector.
La Segunda Parte (Capítulos 6-8) comprende un tratamiento conciso de las aplicaciones de la teoría general, incorporando material sobre problemas combinatorios, ecuaciones diofánticas (incluido el Décimo Problema de Hilbert) y lógica matemática. Los tres capítulos finales (Parte 3) presentan un desarrollo posterior de la teoría general, abarcando la jerarquía de Kleene, los funcionales computables y la clasificación de los problemas de decisión irresolubles.
Cuando se publicó por primera vez en 1958, esta obra introdujo gran parte de la terminología que desde entonces se ha convertido en estándar en la informática teórica. De hecho, la relevancia del libro es tal que muchos científicos de la computación lo consideran su introducción teórica al tema. Esta nueva edición de Dover hace que este texto pionero y ampliamente admirado esté disponible en un formato económico.
Para la edición de Dover, el Dr. Davis ha proporcionado un nuevo Prefacio y un Apéndice, "El décimo problema de Hilbert es irresoluble", un importante artículo que publicó en The American Mathematical Monthly en 1973, que fue galardonado por la American Mathematical Society y la Mathematical Association of America. Estas adiciones mejoran aún más el valor y la utilidad de una "exposición inusualmente clara y estimulante" (Centre National de la Recherche Scientifique, París) ahora disponible por primera vez en rústica.
Autor: Martin Davis, Paul K. Davis
Editorial: Dover Publications
Publicado: 01/12/1985
Páginas: 288
Tipo de encuadernación: Tapa blanda
Peso: 0.65lbs
Tamaño: 8.46h x 5.44w x 0.57d
ISBN13: 9780486614717
ISBN10: 0486614719
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 la NYU y residente en Berkeley, se remonta a 1985, cuando reimprimimos su clásico libro de 1958 Computability and Unsolvability, ampliamente considerado un clásico de la informática teórica. Graduado del City College de Nueva York, Davis recibió su doctorado de Princeton a fines de la década de 1940 y se convirtió en uno de los primeros programadores de computadoras a principios de la década de 1950, trabajando en la computadora 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 vigentes después de varias décadas, pero Computability and Unsolvability es la excepción. Y The Undecidable es una antología de artículos fundamentales sobre indecidibilidad e irresolubilidad de figuras importantes en el campo, incluidos Godel, Church, Turing, Kleene y Post.
Aclamación de la crítica para Computability and Unsolvability
"Este libro ofrece un relato expositivo 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 ser recomendado 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
Aclamación de la crítica para The Undecidable
"Una valiosa colección tanto por su material fuente 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