“On Computable Numbers, with an Application to the

Entscheidungsproblem”

Introducción:

Alan Turing, matemático británico, escribió el articulo “ON COMPUTABLE NUMBERS,

WITH AN APPLICATION TO THE ENTSCHEIDUNGSPROBLEM” en donde se trataría
con el “ENTSCHEIDUNGSPROBLEM” el cual consiste en determinar si una fórmula del
cálculo de primer orden es un teorema.

Este problema data del siglo XVII donde Gottfried Leibniz, matemático alemán, que
después de construir una maquina capaz de realizar cálculos pensó en construir otra
máquina que a base de manipular símbolos pudiera saber si una frase matemática es un
teorema. Muchos años después, más específicamente en 1928 David Hilbert y Wilhelm
Ackerman, dos matemáticos alemanes, definieron el problema como: “Un algoritmo que
determine, dado un conjunto de axiomas y proposiciones, si la proposición puede ser
probada a partir de esos axiomas”

Para poder atacar el “ENTSCHEIDUNGSPROBLEM”, Turing describe a los números

computables como aquellos números reales que cuyas expresiones decimales pueden
calcularse de formas finitas.

También nos introduce a las Computing machines, o máquinas de cómputo en español, las
cuales las describe como dispositivos que, con una cantidad de papel infinito (memoria),
son capaces de leer y escribir sobre el papel símbolos y que también puede cambiar su
estado interno dependiendo de que símbolo se esté leyendo.
Desarrollo:

Turing explica como las “Computing machines” pueden ser capaces de poder escribir
números de manera binaria con el uso de estados o configuraciones, símbolos y operaciones
que dependiendo en qué estado se encuentre y que símbolo se lea, la maquina hará una
serie de operaciones y pasara de un estado a otro. Por ejemplo, para escribir la secuencia
001100110011…

Estado Símbolo Operaciones Estado final

A Ninguno 𝑃0 𝑅 𝑅 𝑃1 𝐿 B

1 𝐿 𝐿 𝑃0 𝑅 𝑅 𝑅 A
B
Ninguno 𝑅 𝑅 𝑃1 B

La máquina trabajaría de la siguiente forma:

: 0 1:0 11:0011 :00110 1: ….

A B B A B

Donde:

- "𝑃0 " y "𝑃1 " son operaciones de escritura en donde el subíndice indica que se va a escribir

- “R” indica que se tiene que mover el cabezal al símbolo siguiente

- “L” indica que se tiene que mover el cabezal al símbolo anterior

- A y B son los estados

Turing rápidamente propuso un estándar para estas tablas en donde los estados serian
llamados 𝑞𝑖 que partirían de 𝑞1 a 𝑞𝑛 donde 𝑞1 es el primer estado así mismo esto pasaría
con los símbolos que pasarían a ser 𝑆𝑘 donde 𝑆0 es un espacio en blanco, 𝑆1 un 0 y 𝑆2 un 1.

Cada estado pasaría a escribirse de la siguiente forma 𝑞𝑖 𝑆𝑗 𝑆𝑘 𝐿|𝑅|𝑁𝑞𝑚 ; y se remplazaría el

𝑞𝑖 por una “D” seguida de una “A” i veces, 𝑆𝑗 por una “D” seguida de una “C” j veces.

Finalmente, las “A” pasarían a ser 1, las “C” 2, las “D” 3, las “L” 4, las “R” 5, las “N” 6 y
los “;” 7. Siendo esta la forma arábica de describir números.
Quedando de la siguiente forma nuestro ejemplo anterior:

𝑞1 𝑆0 𝑆1 𝑅𝑅𝑆2 𝐿𝑞3 ; 𝑞3 𝑆0 𝑅𝑅𝑆2 𝑞2 ; 𝑞2 𝑆2 𝐿𝐿𝑆1 𝑅𝑅𝑅𝑞1 ;

DADDCRRDCCLDAAA;DAAADRRDCCDAA;DAADCCLLDCRRRDA;

3133255322431117 31113553223117 3113224432555317

Después de ello Turing se preguntó si podría existir una maquina universal que se usase
para computar cualquier secuencia computable, naciendo así el concepto de la máquina de
Turing, esta máquina emplearía el método que describió Turing para escribir los números.
Naciendo así el famoso problema de la parada, que dice “dada una maquina universal
(maquina de Turing) y una palabra, determinar si la maquina terminara en una serie de
pasos finitos”, Turing llego a la conclusión que este problema no podía ser computable ósea
que no podíamos si una maquina acabaría o no dada una palabra de entrada.

Llegando así a otra conclusión la cual era que el “ENTSCHEIDUNGSPROBLEM” no era

posible resolverlo pues existía el problema de la parada el cual no nos dejaba saber si una
máquina de Turing podría terminar o no si se le ingresa cierta palabra o en este caso
proposición para demostrar si se trata de un teorema.
Conclusiones:

El artículo escrito por Turing nos introdujo diversos conceptos, pero el que realmente
destacaría fue el de la maquina universal o mejor conocida en nuestros tiempos como
maquina de Turing la cual fijo las bases de cómo debería funcionar una computadora aun
sin saber que es una computadora y a su vez puso los limites en que podría hacer o no una
computadora. Su trabajo con las tablas son prácticamente autómatas pues los 2 se
componen de estados y operaciones que dependen de que símbolos se lean.

Su escrito fue muy impactante para su época y las épocas venidera pues influyó de gran
manera a lo que se convertiría en la informática y también sirvió para las inteligencias
artificiales.
Test de Turing
El test o prueba consiste en poner a una persona a conversar mediante una computadora con
otra persona y una maquina diseñada para generar respuestas similares a las de los seres
humanos. La prueba en si trata de que la persona pueda distinguir si está hablando con una
persona o con una máquina, en caso de no poder hacerlo entonces se dice que la maquina
pasó la prueba.

Un ejemplo de esta prueba es:

• Persona: Hola, ¿Cómo te llamas?

• Entidad: Hola, no tengo nombre
• Persona: ¿Qué hiciste hoy?
• Entidad: Leer sobre el comportamiento humano
• Persona: ¿Cuándo cumples años?
• Entidad: No tengo cumpleaños

En este caso es muy fácil saber que se esta hablando con una maquina pues, aunque puede
llegar a mantener una conversación con una persona, sus respuestas no son muy
convincentes y dejan en claro que se trata de una maquina con quien se está hablando.

Otro ejemplo es:

• Persona: Hola, soy Ana.

• Entidad: ¡Ana! ¡Encantado de conocerte!
• Persona: ¿Cómo te llamas?
• Entidad: Me llaman Roberto
• Persona: Bonito nombre. ¿De qué país eres?
• Entidad: Soy de España, que conversación más maravillosa
• Persona: ¿Lo crees de verdad?
• Entidad: No, no has adivinado. No pienso eso. Por cierto, aún no sé cuál es tu
especialidad. O igual es que no te he oído
• Persona: ¿Cómo especialidad? ¿Cuál es la tuya?
• Entidad: ¿Eh? Y se me ha olvidado preguntarte de dónde eres…
 • Persona: El universo ¿y tú?
• Entidad: ¿Y en tu tiempo libre te gusta hacer preguntas enrevesadas sin respuesta a
un pobre chico judío?

En este caso es difícil decidir si se trata de una persona o de una maquina con la que nos
estamos comunicando por lo que, si la persona no puede decidir o se equivoca, podremos
decir que la maquina (En caso de que sea) superó la prueba.

Aunque es uno de los test más utilizados hoy en día, existen limitaciones como la forma en
que se aplicaba el test pues se hacen preguntas cerradas que resultaban muy fáciles a la
maquinas de contestar y pasar el test. Para ello existen diferentes métodos que pueden
sustituir al test de Turing como por ejemplo el Reverse Turing test que consiste en probar
que nosotros no somos una IA, este test es muy común en los conocidos CAPTCHA o
también esta el Marcus Test en donde a una IA se le pone una serie de TV y se les hacen
preguntas sobre esta y sobre los personajes que participan en ella.
Tesis Church-Turing
a) ¿De dónde viene este concepto, es decir, cuáles son los antecedentes que dieron
origen a esta tesis?

Esta tesis se remonta al “ENTSCHEIDUNGSPROBLEM” donde Turing daría una

respuesta negativa con su problema de la parada donde describe una maquina
universal a la que dada una palabra no se puede predecir si esta máquina acabara en
un numero finitos de pasos.

Aquí también entraría en juego Alonzo Church, matemático estadounidense, que

también daría una respuesta negativa con su teorema de indecibilidad

b) ¿En qué consiste esta tesis?

La tesis Church-Turing describe a un algoritmo o procedimiento efectivo como una

serie de pasos finitos que nos conducen a realizar cierta tarea determinada además
relaciona a los algoritmos con las maquinas de Turing, mostrando estos enunciados:

• Todo algoritmo o procedimiento efectivo puede ser captado por una

máquina de Turing
• Cualquier cosa que es intuitivamente computable puede ser computada en
una máquina de Turing
• Todos los procesos mentales derivan de un substrato computable

c) ¿Cuáles son las implicaciones de esta tesis o por qué razón es importante?

La tesis tuvo un impacto muy fuerte en el mundo actual pues aplicando la por
ejemplo al universo podemos definir a este como una máquina de Turing, como una
no maquina de Turing o como una hiper computadora. También ayudó a encontrar
los limites computaciones de una maquina pues si una maquina de Turing no puede
resolver un problema concreto, ninguna maquina puede llegar a resolver ese
problema.

En otro campo que ha influenciado esta tesis en el de las inteligencias artificiales

pues como se decía en la tesis “Todos los procesos mentales derivan de un substrato
computable” o en otras palabras cualquier proceso mental puede ser simulado por
una maquina de Turing.

Esto también ha abierto un debate sobre si las mentes humanas podrían considerarse
maquinas de Turing pues nuestras neuronas responden de ciertas formas ante un
estímulo o función de entrada, aunque se cree que la mente podría ser algo más que
una maquina de Turing debido a que además de poder realizar todas las funciones
de una maquina de Turing, la mente también pose funciones adicionales tales como,
la intuición o la percepción de emociones.