Alan turing, su obra y los efectos sobre la calculabilidad

• PRADILLA RUEDA, MAGDALENA ^[1]
  1. [1] Universidad de Grenoble (Francia)
• Localización: Revista Ingeniería, Matemáticas y Ciencias de la Información, ISSN-e 2357-3716, Vol. 1, Nº. 2, 2014 (Ejemplar dedicado a: Revista Ingeniería, Matemáticas y Ciencias de la Información), págs. 93-122
• Idioma: español
• Enlaces
  • Texto completo (pdf)
• Resumen
  • español

    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.

  • English

    This article presents an overview of the subjects of research of Alan Turing, focused onthe developments and contributions to the theory of calculability. Based on theguidelines on the issue of D. Hilbert’s the problem decision (Entscheindungs problem)and in order to give an answer to the question: the axiomatic formal account with aneffective method for deciding that a formula can be true or false?, Turing respondswith a negative using the mechanistic method called the Turing machine, which teststhe undecidability of the Axiomatica and presents the bases of the calculability andsubsequently the computer.