{"product_id":"the-undecidable-basic-papers-on-undecidable-propositions-unsolvable-problems-and-computable-functions-9780486432281","title":"Lo indecidible: Artículos básicos sobre proposiciones indecidibles, problemas insolubles y funciones computables","description":"\u003cp\u003e\"Una valiosa colección tanto por el material de origen original como por las formulaciones históricas de los problemas actuales\". -- \u003ci\u003eThe Review of Metaphysics\u003cbr\u003e\u003c\/i\u003e\"Mucho más que una mera colección de artículos. Una valiosa adición a la literatura\". -- \u003ci\u003eMathematics of Computation\u003cbr\u003e\u003c\/i\u003eUna 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.\u003cbr\u003eEl 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.\u003cbr\u003eLos 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.\u003c\/p\u003e\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAutor:\u003c\/b\u003e \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=AUTH-4786210\"\u003eMartin Davis\u003c\/a\u003e\u003cbr\u003e\u003cb\u003eEditorial:\u003c\/b\u003e Dover Publications\u003cbr\u003e\u003cb\u003ePublicado:\u003c\/b\u003e 18\/02\/2004\u003cbr\u003e\u003cb\u003ePáginas:\u003c\/b\u003e 413\u003cbr\u003e\u003cb\u003eTipo de encuadernación:\u003c\/b\u003e Tapa blanda\u003cbr\u003e\u003cb\u003ePeso:\u003c\/b\u003e 1.16 libras\u003cbr\u003e\u003cb\u003eTamaño:\u003c\/b\u003e 9.16h x 6.44w x 0.85d\u003cbr\u003e\u003cb\u003eISBN13:\u003c\/b\u003e 9780486432281\u003cbr\u003e\u003cb\u003eISBN10:\u003c\/b\u003e 0486432289\u003cbr\u003e\u003cb\u003eCategorías BISAC:\u003c\/b\u003e\u003cbr\u003e- \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=CAT-MAT\"\u003eMatemáticas\u003c\/a\u003e | \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=BISAC-MAT018000\"\u003eLógica\u003c\/a\u003e\u003cbr\u003e\u003cbr\u003e\u003cp\u003e\u003cb\u003eSobre el autor\u003c\/b\u003e\u003cbr\u003e\u003c\/p\u003e\u003cp\u003e\u003cb\u003eMartin Davis: Pionero de la informática \u003cbr\u003e\u003c\/b\u003eLa 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 \u003ci\u003eComputability and Unsolvability, \u003c\/i\u003e 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. \u003c\/p\u003e\u003cp\u003eNo muchos libros de los inicios de la informática siguen vivos después de varias décadas, pero \u003ci\u003eComputability and Unsolvability\u003c\/i\u003e es la excepción. Y \u003ci\u003eThe Undecidable\u003c\/i\u003e 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. \u003c\/p\u003e\u003cp\u003e\u003cb\u003e \u003c\/b\u003e\u003c\/p\u003e\u003cp\u003eReconocimiento de la crítica para \u003ci\u003eComputability and Unsolvability\u003c\/i\u003e \u003cbr\u003e\"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, \u003ci\u003eBulletin of the American Mathematical Society\u003c\/i\u003e, 1959\u003cb\u003e \u003c\/b\u003e\u003c\/p\u003e\u003cp\u003eReconocimiento de la crítica para \u003ci\u003eThe Undecidable\u003c\/i\u003e \u003cbr\u003e\"Una valiosa colección tanto por el material de origen original como por las formulaciones históricas de los problemas actuales\". -- \u003ci\u003eThe Review of Metaphysics\u003c\/i\u003e \u003c\/p\u003e\u003cp\u003e\"Mucho más que una mera colección de artículos . . . una valiosa adición a la literatura\". -- \u003ci\u003eMathematics of Computation\u003c\/i\u003e\u003c\/p\u003e\u003cp\u003e\u003ci\u003eEste título no es retornable\u003c\/i\u003e\u003cbr\u003e\u003c\/p\u003e","brand":"Dover Publications","offers":[{"title":"Default Title","offer_id":42675256492269,"sku":"9780486432281","price":24.95,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0550\/8097\/6621\/products\/img_2563d094-161f-40a0-8d71-246f2d2e441d.jpg?v=1649600743","url":"https:\/\/sureshotbooks.com\/es\/products\/the-undecidable-basic-papers-on-undecidable-propositions-unsolvable-problems-and-computable-functions-9780486432281","provider":"SureShot Books Publishing LLC","version":"1.0","type":"link"}