domingo, 25 de febrero de 2024

Libro: De Turing a Google. Computación y programación. Grandes Ideas de las Matematicas

 

 

Hacia 1936 y tras seguir caminos preparados e independientes, Alan Turing Y Alonso Church dieron luz a una teoría sobre que 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 Godel 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 claves de la misma. Esa ha sido la acertada elección del autor de este tipo, que emplea conceptos modernos de programación para explicar los resultados más relevantes de la teoría de la computabilidad.


ALAN TURING

Alan Mathison Turing (Paddington, Londres; 23 de junio de 1912-Wilmslow, Cheshire; 7 de junio de 1954) fue un matemático, lógico, informático teórico, criptógrafo, filósofo y biólogo teórico británico. Es considerado como uno de los padres de la ciencia de la computación y precursor de la informática moderna. Proporcionó una formalización influyente de los conceptos de algoritmo y computación: la máquina de Turing. Formuló su propia versión que hoy es ampliamente aceptada como la tesis de Church-Turing (1936).

Durante la segunda guerra mundial, trabajó en descifrar los códigos nazis, particularmente los de la máquina Enigma, y durante un tiempo fue el director de la sección Naval Enigma de Bletchley Park. Se ha estimado que su trabajo acortó la duración de esa guerra entre dos y cuatro años.​ Tras la guerra, diseñó uno de los primeros computadores electrónicos programables digitales en el Laboratorio Nacional de Física del Reino Unido y poco tiempo después construyó otra de las primeras máquinas en la Universidad de Mánchester.

En el campo de la inteligencia artificial, es conocido sobre todo por la concepción de la prueba de Turing (1950), un criterio según el cual puede juzgarse la inteligencia de una máquina si sus respuestas en la prueba son indistinguibles de las de un ser humano.

La carrera de Turing terminó súbitamente tras ser procesado por homosexualidad en 1952. Dos años después de su condena, murió —según la versión oficial por suicidio; sin embargo, su muerte ha dado lugar a otras hipótesis, incluida la del envenenamiento accidental —. Después de una campaña pública en 2009, el primer ministro británico, Gordon Brown, se disculpó públicamente en nombre del gobierno británico por «la forma espantosa en la que Turing había sido tratado». La reina Isabel II le otorgó un indulto póstumo en 2013. El término «ley Alan Turing» ahora se usa de manera informal para referirse a una ley de 2017 en el Reino Unido que perdona retroactivamente a hombres amonestados o condenados en virtud de la legislación que prohibía los actos homosexuales.​

Turing tiene un extenso legado con estatuas y muchas cosas que llevan su nombre, incluido un premio anual por innovación en informática. Aparece en el billete actual de 50 libras del Banco de Inglaterra,​ que se lanzó el 23 de junio de 2021, coincidiendo con su cumpleaños. Un programa de la BBC de 2019, votado por la audiencia, lo nombró la persona más grande del siglo XX.

 

ALONSO CHURCH

Alonzo Church (14 de junio de 1903 - 11 de agosto de 1995), matemático y lógico estadounidense creador de la base de la computación teórica. Nacido en la ciudad de Washington, se diplomó en 1924 y obtuvo su doctorado en 1927 en la Universidad de Princeton, donde ejerció como profesor entre 1929 y 1967.

Su obra más conocida es el desarrollo del cálculo lambda, y su trabajo de 1936 que muestra la existencia de problemas indecidibles. Este trabajo precedió el famoso trabajo de su alumno Alan Turing sobre el problema de parada que también demostró la existencia de problemas irresolubles por dispositivos mecánicos. Luego de revisar la tesis doctoral de Turing, demostraron que el cálculo lambda y la máquina de Turing utilizada para expresar el problema de parada tenían igual poder de expresión; posteriormente demostraron que una variedad de procesos mecánicos alternos para realizar cálculos tenían poder de cómputo equivalente. Como resultado se postuló la Tesis de Church-Turing.​

Entre los más conocidos estudiantes de doctorado de Church están Stephen Kleene, J. Barkley Rosser, Leon Henkin, John George Kemeny, Michael O. Rabin, Dana Scott, Simon Kochen y Raymond Smullyan.

Church publicó entre 1924 y 1995 trabajos sobre Lógica, filosofía, matemáticas y computación. En su trabajo de 1936 An unsolvable problem of elementary number theory Church formuló por primera vez lo que ahora se conoce como la tesis de Church que es la identificación del concepto vago de calculabilidad efectiva con la noción precisa de función recursiva. Su artículo A note on the entscheidungsproblem presentó lo que ahora se conoce como el teorema de Church: La indecidibilidad de la validez de la lógica de primer orden. En 1941 publicó su monografía The calculi of lambda-conversión. Este trabajo tiene gran influencia en el área de computación teórica. El cálculo lambda influyó en el diseño del lenguaje Lisp, así como en los lenguajes de programación funcional.

 

MÁS INFORMACIÓN

 

Autor(es): Jordi Delgado Pin

Editorial: EMSE EDAPP

Páginas: 144

Tamaño: 16 x 23,5 cm.

Año: 2023