TY  - BOOK
AU  - Delgado Pin, Jordi
TI  - De Turing a Google: computación y programación 
T2  - Grandes ideas de las matemáticas
SN  - 9788417811495
U1  - 511.352 
PY  - 2019///]
CY  - [Barcelona], [Madrid]
PB  - Emse Edapp, Prisanoticias colecciones
KW  - Funciones calculables
KW  - LEMB
KW  - Lenguajes de programación
KW  - Modelos matemáticos
KW  - Decidabilidad (Lógica matemática)
KW  - Lógica simbólica y matemática
N1  - 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
N2  - 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
ER  -