Alan Turing's Systems of Logic - The princeton thesis
The princeton thesis
Autor: Alan Mathison Turing
Código: LISCMA0116336
Características
The princeton thesis
Autor: Alan Mathison Turing
Editor: Princeton University Press
Lugar de impresión: Princeton y Oxford
Fecha de publicación: 2014
A facsimile edition of Alan Turing's influential Princeton thesis
Between inventing the concept of a universal computer in 1936 and breaking the German Enigma code during World War II, Alan Turing (1912–1954), the British founder of computer science and artificial intelligence, came to Princeton University to study mathematical logic. Some of the greatest logicians in the world—including Alonzo Church, Kurt Gödel, John von Neumann, and Stephen Kleene—were at Princeton in the 1930s, and they were working on ideas that would lay the groundwork for what would become known as computer science. This book presents a facsimile of the original typescript of Turing's fascinating and influential 1938 Princeton PhD thesis, one of the key documents in the history of mathematics and computer science. The book also features essays by Andrew Appel and Solomon Feferman that explain the still-unfolding significance of the ideas Turing developed at Princeton.
A work of philosophy as well as mathematics, Turing's thesis envisions a practical goal—a logical system to formalize mathematical proofs so they can be checked mechanically. If every step of a theorem could be verified mechanically, the burden on intuition would be limited to the axioms. Turing's point, as Appel writes, is that "mathematical reasoning can be done, and should be done, in mechanizable formal logic." Turing's vision of "constructive systems of logic for practical use" has become reality: in the twenty-first century, automated "formal methods" are now routine.
Presented here in its original form, this fascinating thesis is one of the key documents in the history of mathematics and computer science.
Condición del Producto:
Ejemplar en buen estado. Cubrir con rastros de polvo y leves signos de desgaste. Páginas ligeramente amarillentas. Subrayado raro a lápiz. Textos en inglés. Textos en inglés. Texto en inglés.
Código ISBN: 0691164738
EAN: 9780691164731
Páginas: XV; 142
Formato: Libro de bolsillo
Dimensiones (cm):
Altura: 26
Ancho: 18
Descripción
Introducción de Andew W. Appel. Segunda edicion.
Disponibilidad de productos
Disponibilidad inmediata
Listo para entrega dentro de 2 días hábiles de ordenar el producto.
The princeton thesis
Autor: Alan Mathison Turing
Código: LISCMA0116336
Perspectivas
Blog NoticiasFineArt
Mercados de Segunda Mano
Spazio 900
Compramos Vintage
Compramos Arte
Información
Ofertas y PromocionesFormulario de Desistimiento
Términos y Condiciones
Política de Privacidad
Política de Cookies
Actualice sus Preferencias de Política de Cookies
Quienes Somos
ContactosNuestra Historia
El Equipo Di Mano en Mano
Nuestras Tiendas
Por qué Elegir Di Mano in Mano
Servicio de Desalojo
Información de la Tienda
Di Mano in Mano Soc. Coop.
Registro de Empresas Cooperativas en el No. A114664
Contáctanos Ahora
Oficina Registrada:
info@dimanoinmano.it
Número de IVA: IT12896370157
Cree en Nosotros
Condiciones Generales de Uso y Venta. La resolución de disputas en línea se produce de acuerdo con el art. 14 (1) Regulación ODR del consumidor.
La Comisión Europea proporciona una plataforma para la resolución de disputas en línea (ODR) siguiendo este enlace: https://ec.europa.eu/consumers/odr/
Enviamos Con:
