ALAN TURING, SU OBRA Y LOS EFECTOS SOBRE LA CALCULABILIDAD

Abstract

Este artículo presenta una visión general de los temas de investigación de Alan Turing, centrado en los desarrollos y aportes a la Teoría de la Calculabilidad. Basándose en los lineamientos sobre el problema de la decisión (Entscheindungs problem) de D. Hilbert y con el fin de dar una respuesta a la pregunta: ¿la Axiomática formal cuenta con un método efectivo para decidir que una fórmula puede ser verdadera o falsa?, Turing responde con una negativa por medio de un método mecanicista llamado la máquina de Turing, que prueba la indecidibilidad de la Axiomática y presenta las bases de la Calculabilidad, y posteriormente la de la Informática.