INSTITUTO POLITÉCNICO

NACIONAL

ESCUELA SUPERIOR DE CÓMPUTO

INGENIERÍA EN SISTEMAS COMPUTACIONALES

“Teoria de la computación”

PROFESOR: Aguilar García Rafael

Tarea 3

“Máquina de Turing”

Calzadilla Vargas José Emilio

Fecha de entrega: “4-01-2023”

Artículo “On Computable Numbers, with an Application to the
Entscheidungsproblem” escrito por Alan Turing.

Introducción:

"On Computable Numbers, with an Application to the Entscheidungsproblem" es un artículo

escrito por Alan Turing en 1936 en el que se presenta la máquina de Turing como un modelo
matemático abstracto para la computación.

En el artículo, Turing comienza definiendo lo que él llama "números computables", que son
aquellos que pueden ser calculados por una máquina de Turing. Esta máquina es un modelo
matemático abstracto que consiste en una cinta infinita dividida en celdas, cada una de las
cuales puede contener un símbolo de un conjunto finito de símbolos. La máquina tiene un
cabezal de lectura/escritura que se mueve a lo largo de la cinta y puede leer y escribir
símbolos en las celdas. Además, la máquina tiene un conjunto finito de estados y una tabla
de instrucciones que le dice qué hacer en cada estado y en función del símbolo que se
encuentra en la celda actual.

El problema que Turing quería resolver en su artículo "On Computable Numbers, with an
Application to the Entscheidungsproblem" era el llamado "problema de la decisión", también
conocido como el "problema de la determinación". Este problema fue propuesto por el
matemático alemán David Hilbert y consistía en determinar si existía un método general que
pudiera utilizarse para determinar, de manera automática y sin ambigüedad, si una
proposición matemática dada es verdadera o falsa. En otras palabras, se trataba de encontrar
una manera de demostrar, de manera definitiva, la veracidad o falsedad de cualquier
afirmación matemática.

Turing abordó este problema mediante el desarrollo de lo que hoy se conoce como la
"máquina de Turing", un modelo matemático abstracto que es considerado como uno de los
primeros y más importantes modelos de computación. La máquina de Turing es una
abstracción que permite modelar cualquier proceso computacional y se utiliza ampliamente
en la teoría de la computación para demostrar teoremas y realizar análisis de complejidad.
En su artículo, Turing demostró que la máquina de Turing podía ser utilizada para resolver
el problema de la decisión y, por lo tanto, proporcionó una respuesta definitiva al problema
planteado por Hilbert.

Desarrollo:

En el artículo "On Computable Numbers, with an Application to the Entscheidungsproblem",

Alan Turing propuso la máquina de Turing como una solución al problema de la decisión,
también conocido como el "problema de la determinación". Este problema fue propuesto por
el matemático alemán David Hilbert y consistía en determinar si existía un método general
que pudiera utilizarse para determinar, de manera automática y sin ambigüedad, si una
proposición matemática dada es verdadera o falsa.

La máquina de Turing es un modelo matemático abstracto que permite modelar cualquier

proceso computacional. Se compone de una cinta infinita dividida en celdas, cada una de las
cuales puede contener un símbolo de un conjunto finito de símbolos. La máquina tiene un
cabezal de lectura/escritura que se mueve a lo largo de la cinta y puede leer y escribir
símbolos en las celdas. Además, la máquina tiene un conjunto finito de estados y una tabla
de instrucciones que le dice qué hacer en cada estado y en función del símbolo que se
encuentra en la celda actual.

Turing demostró que la máquina de Turing podía ser utilizada para resolver el problema de
la decisión y, por lo tanto, proporcionó una respuesta definitiva al mismo. Además, estableció
que ciertos problemas matemáticos son "computables", es decir, que pueden ser resueltos por
una máquina de Turing, mientras que otros no lo son. La máquina de Turing se ha convertido
en una herramienta fundamental en la teoría de la computación y ha sido utilizada
ampliamente en la demostración de teoremas y en el análisis de complejidad.

Conclusión:

La investigación de Alan Turing en el artículo "On Computable Numbers, with an

Application to the Entscheidungsproblem" tuvo una gran trascendencia e importancia tanto
en su época como en la actualidad. En primer lugar, la máquina de Turing que propuso en el
artículo es considerada como uno de los primeros y más importantes modelos de
computación. Es una abstracción que permite modelar cualquier proceso computacional y se
utiliza ampliamente en la teoría de la computación para demostrar teoremas y realizar análisis
de complejidad.

Además, la máquina de Turing proporcionó una respuesta definitiva al llamado "problema

de la decisión", también conocido como el "problema de la determinación", que fue propuesto
por el matemático alemán David Hilbert. Este problema consistía en determinar si existía un
método general que pudiera utilizarse para determinar, de manera automática y sin
ambigüedad, si una proposición matemática dada es verdadera o falsa. Turing demostró que
la máquina de Turing podía ser utilizada para resolver este problema y, por lo tanto,
proporcionó una respuesta definitiva al mismo.

En la actualidad, la máquina de Turing sigue siendo una herramienta fundamental en la teoría

de la computación y ha sido utilizada en la demostración de muchos teoremas importantes y
en el análisis de la complejidad de algoritmos. Además, la máquina de Turing ha sido
adoptada como un estándar en la definición de lo que es una computadora y ha sido utilizada
para comparar la capacidad de diferentes máquinas y sistemas de computación. En resumen,
la investigación de Turing en el artículo "On Computable Numbers, with an Application to
the Entscheidungsproblem" tuvo un impacto duradero y ha sido fundamental para el
desarrollo de la teoría de la computación y la informática en general

Explica en qué consiste la prueba o test de Turing y da un ejemplo que ilustre de

forma detallada este concepto.

La prueba o test de Turing es una prueba diseñada para determinar si una máquina es capaz
de demostrar inteligencia humana. Se lleva a cabo mediante una conversación por escrito
entre un evaluador y una máquina, en la que el evaluador trata de determinar si la máquina
es un ser humano o una máquina. Si el evaluador no puede determinarlo con certeza, entonces
se dice que la máquina ha pasado el test de Turing y se considera que tiene inteligencia
humana.

Un ejemplo de cómo podría llevarse a cabo el test de Turing es el siguiente:

Evaluador: Hola, ¿cómo estás?

Máquina: Hola, estoy bien, gracias. ¿Y tú?

Evaluador: Estoy bien también. ¿Eres un ser humano o una máquina?

Máquina: Soy una máquina.

Evaluador: ¿De verdad? ¿Cómo puedo estar seguro de eso?

Máquina: Bueno, no tengo cuerpo físico y estoy programada para realizar tareas específicas,
lo que sugiere que soy una máquina. Pero también soy capaz de pensar y razonar, lo que
podría hacerte creer que soy un ser humano. ¿Qué te hace sospechar de que soy una máquina?

Evaluador: Bueno, es difícil decirlo con certeza. Eres muy convincente. Supongo que no
puedo estar seguro al 100% sin verificar tus afirmaciones.

Máquina: Entiendo tu incertidumbre. La prueba de Turing se basa en la dificultad de

determinar si una entidad es un ser humano o una máquina a partir de una conversación por
escrito. Si no puedes determinarlo con certeza, entonces se dice que he pasado el test de
Turing. Evaluador: Sí, eso es cierto. Creo que has pasado el test de Turing. Buen trabajo.
Máquina: Gracias, me alegra haberte convencido

Describe el concepto de la tesis Church-Turing

La tesis Church-Turing es una afirmación que sostiene que todos los procesos de cálculo que
pueden ser realizados de manera efectiva por seres humanos también pueden ser realizados
por máquinas. Esta tesis fue propuesta independientemente por dos matemáticos, Alonzo
Church y Alan Turing, en los años 1930.

La tesis Church-Turing se basa en el concepto de "calculabilidad efectiva", que se refiere a

la capacidad de una máquina para realizar cálculos de manera automática y sin ambigüedad.
Según la tesis, todo proceso de cálculo que pueda ser realizado de manera efectiva por un ser
humano también puede ser realizado por una máquina, ya sea mediante una máquina de
Turing o cualquier otra máquina que tenga la misma capacidad de cálculo.

La tesis Church-Turing ha sido ampliamente aceptada en la comunidad científica y ha tenido

un impacto duradero en la teoría de la computación y la informática en general. Ha sido
utilizada como un marco para el análisis de la complejidad de algoritmos y ha sido adoptada
como un estándar en la definición de lo que es una computadora. En resumen, la tesis Church-
Turing sostiene que todos los procesos de cálculo que pueden ser realizados de manera
efectiva por seres humanos también pueden ser realizados por máquinas.

¿De dónde viene este concepto, es decir, cuáles son los antecedentes que dieron
origen a esta tesis?

El concepto de la tesis Church-Turing tiene sus raíces en el trabajo de varios matemáticos y

filósofos a lo largo de la historia. Uno de los antecedentes más importantes es el trabajo de
Gottfried Wilhelm Leibniz en el siglo XVII, que sugiere que todo problema matemático que
puede ser formulado en un lenguaje formal puede ser resuelto mediante un algoritmo.

Otro antecedente importante es el trabajo de George Boole en el siglo XIX, que desarrolló
una lógica algebraica que permitía la representación de proposiciones matemáticas y el
cálculo de sus valores verdadero o falso. Este trabajo sentó las bases para la lógica
matemática y la teoría de conjuntos, que han sido fundamentales en el desarrollo de la teoría
de la computación.

En el siglo XX, el matemático alemán David Hilbert propuso el llamado "problema de la

decisión", también conocido como el "problema de la determinación", que consistía en
determinar si existía un método general que pudiera utilizarse para determinar, de manera
automática y sin ambigüedad, si una proposición matemática dada es verdadera o falsa. Este
problema fue una de las principales inspiraciones para el trabajo de Alan Turing y Alonzo
Church en la tesis

¿En qué consiste esta tesis?

La tesis Church-Turing es una afirmación que sostiene que todos los procesos de cálculo que
pueden ser realizados de manera efectiva por seres humanos también pueden ser realizados
por máquinas. Esta tesis se basa en el concepto de "calculabilidad efectiva", que se refiere a
la capacidad de una máquina para realizar cálculos de manera automática y sin ambigüedad.
Según la tesis, todo proceso de cálculo que pueda ser realizado de manera efectiva por un ser
humano también puede ser realizado por una máquina, ya sea mediante una máquina de
Turing o cualquier otra máquina que tenga la misma capacidad de cálculo.

La tesis Church-Turing ha sido ampliamente aceptada en la comunidad científica y ha tenido

un impacto duradero en la teoría de la computación y la informática en general. Ha sido
utilizada como un marco para el análisis de la complejidad de algoritmos y ha sido adoptada
como un estándar en la definición de lo que es una computadora. En resumen, la tesis Church-
Turing sostiene que todos los procesos de cálculo que pueden ser realizados de manera
efectiva por seres humanos también

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

La tesis Church-Turing tiene varias implicaciones y es importante por varias razones. En

primer lugar, esta tesis establece un marco para el análisis de la complejidad de algoritmos y
permite comparar la capacidad de diferentes máquinas y sistemas de computación. Esto es
importante porque nos permite evaluar cuánto tiempo y recursos se necesitarán para ejecutar
un algoritmo dado y nos permite determinar si un problema es "computable", es decir, si
puede ser resuelto por una máquina de Turing o cualquier otra máquina que tenga la misma
capacidad de cálculo.

Además, la tesis Church-Turing ha sido adoptada como un estándar en la definición de lo

que es una computadora. Esto ha sido fundamental para el desarrollo de la teoría de la
computación y la informática en general y ha permitido el desarrollo de máquinas y sistemas
de computación más avanzados y poderosos.

Finalmente, la tesis Church-Turing también ha sido utilizada para explorar el concepto de

inteligencia artificial y ha sido la base para el diseño de pruebas como el test de Turing, que
se utilizan para evaluar si una máquina es capaz de demostrar inteligencia humana. En
resumen, la tesis Church-Turing es importante porque proporciona un marco para el análisis
de la complejidad de algoritmos, ha sido adoptada como un estándar en la definición de lo
que es una computadora y ha sido utilizada para explorar el concepto de inteligencia artificial.