De Turing a Google : computación y programación /
Jordi Delgado Pin.
- 142 páginas : ilustraciones (principalmente a blanco y negro), diagramas ; 24 cm.
- Grandes ideas de las matemáticas 28 .
- Grandes ideas de las matemáticas 28 .
Bibliografía : páginas 141-142
Turing -- De la notación : el lenguaje de programación WHILE -- ¿Se puede computar cualquier cosa? -- Espejito, espejito -- All good things.
Hacia 1936, y tras seguir caminos separados e independientes, Alan Turing y Alonso Church dieron luz a una teoría sobre qué se puede computar y qué no. Este volumen es precisamente una introducción a esa teoría, llamada «de la computabilidad». Casi un siglo después de los trabajos de Turing y Church, pero también de las aportaciones de Kurt Gödel y Stephen C. Kleene, entre otros, ciertas construcciones matemáticas utilizadas en la mencionada teoría, inventadas a tenor de las necesidades formales de la época, se pueden sustituir por otras mucho más sencillas, haciendo más asequible, que no menos general ni menos rigurosa, la exposición de los aspectos clave de la misma. Esa ha sido la acertada elección del autor de este libro, que emplea conceptos modernos de programación para explicar los resultados más relevantes de la teoría de la computabilidad.-- Contracubierta
9788417811495 8417811494
Funciones calculables Lenguajes de programación--Modelos matemáticos Decidabilidad (Lógica matemática) Lógica simbólica y matemática