Computabilidad

Jean Piert Palomino Quispe

Escuela Profesional de Ingeniera de Sistemas
Universidad Nacional de San Agustn
Arequipa, Per
piertfb94@gmail.com

Resumen

En esta investigacin se busca informar al lector acerca de la computabilidad, desde su teora, que reglas debe
seguir un supuesto para ser computable, cmo y quienes la desarrollaron, tambin se explica sobre los modelos
computacionales que permiten saber si una suposicin es o no computable, en otras palabras si este tendra una
solucin.

Palabras clave: sistema matemtico formal, computabilidad, teora de la computabilidad, modelos computacionales.

Abstract

This paper aims is to inform the reader about the computability, from his theory, which rules must follow an
assumption to be computable, how and by who developed it, also explains about the computational models that
allow us to know if an assumption is or not Computable, in other words if it would have a solution.

Keywords: Formal mathematical system, computability, computability theory, computational models.

I. INTRODUCCION. desarrollar un algoritmo maestro el cual diera

La computabilidad es un concepto
fundamental en las matemticas hoy en da. A lo
largo del tiempo se han elaborado diferentes
teoras, pero existe una en especial la cual nos
servir de base para desarrollar el presente artculo,
esta viene a ser la teora de computabilidad que
elabor Alan Turing en los aos 30.
Al hablar de computabilidad, lo primero que se nos
viene a la mente es una computadora y quizs todo
aquello que podemos hacer usando una
computadora, sin embargo la computabilidad no
tiene que ver con lo fsico (hardware) ms s con
aquello que nosotros queramos resolver usando
sistemas computacionales para as poder hallar una
solucin a algn problema que quizs no sea fcil
de resolver por un humano, y no solo eso sino que
tambin nos permite saber si este problema tiene o
no una solucin, y Cmo es que la computabilidad
puede afirmar que dicho problema no tiene
solucin?.
En aquellos tiempos existan matemticos los
cuales pretendan encontrar cada vez algoritmos
ms generales que resolvieran problemas de clases
cada vez ms amplias, es decir queran encontrar o
respuesta a cualquier problema matemtico. Por
ejemplo, si tenemos algoritmos para determinar las
races de ecuaciones de segundo grado Por qu no
buscar un algoritmo que determine las races de una
ecuacin de grado n? crean que debera existir un
algoritmo que de respuesta a cualquier problema
matemtico. Pero se toparon con la evidencia de
que ni siquiera para determinados problemas
pareca existir tal algoritmo. Ya que apareci un
aporte que los desalent, de la mano de K. Gdel,
ya que demostr que existen sistemas de cdigos y
reglas los cuales no eran capaces de demostrar si
una sentencia o mensaje generado dentro del
propio sistema era verdadera o falsa. Lo hizo con
esta frase: "esta afirmacin no puede probarse, si
hubiera una solucin el sistema seria incoherente,
si no puede probarse, entonces, la afirmacin es
verdadera, pero no puede probarse y esto indica
que el sistema es incompleto, por lo tanto las
matemticas son siempre incoherentes o
incompletas.
En este punto entra la definicin que de algoritmo
elaboraron Alan Turing y Emile Post mediantes
sendas mquinas tericas: la mquina de Turing y
la mquina de Post.
Qu es computabilidad?, Cmo algo puede ser
computable?, ambos temas vas a ser tratados en la
presente investigacin.
II. TEORIA DE LA COMPUTABILIDAD.
El origen de esta teora de la computacin
se inici hace casi 80 aos, con diferentes aportes,
entre ellos Hilbert, Gdel, Church, Turing y
Kleene.
A continuacin en orden cronolgico se muestra
los aportes de cada uno de estos notables
personajes:
A. David Hilbert (1862-1943)
Formula el Entscheidungsproblem o
problema de decisin que trataba de descubrir un
mtodo maestro el cual decidira si una frmula
lgica es verdadera o falsa.
Su meta era crear un sistema matemtico formal tal
que sea completo y consistente, en el que toda
aseveracin sea planteada con precisin. Su idea
fue encontrar un algoritmo que determine la verdad
o falsedad de cualquier proposicin en el sistema
formal.
Los 3 requisitos bsicos son:
Decidibilidad, esto es, debe existir un
mtodo que se puede aplicar a una
afirmacin matemtica para decidir si esta
es o no demostrable.
Consistencia, esto es, no debe haber
contradiccin en el sistema.
Completitud, esto es, si una declaracin es
verdadera debe haber una manera de
comprobarse, usando reglas del propio
sistema.
B. Kurt Gdel (1906-1978)
Este matemtico public en 1931 su
famoso teorema de incompletitud que estableca
que Toda formulacin axiomtica consistente en
la teora de nmeros contiene proposiciones
indecidibles.
Con este teorema derrumb toda intencin de los
matemticos que en aquella poca intentaban
modelar el sistema completo y consistente que aos
atrs haba planteado Hilbert.
C. Alan Turing (1912-1954)
En 1937, public un trabajo sobre nmeros
calculables, el cual fue el origen de la informtica
en cuestiones tericas.
Introdujo tambin la Maquina de Turing, la cual
permiti de alguna manera formalizar el concepto
de algoritmo.
D. Alonzo Church (1903-1995)
Tiene como obra conocida el clculo
lambda, y su trabajo de 1936 que muestra la
existencia de problemas indecidibles.
Demostr al igual que Turing que el clculo
lambda y las mquinas de Turing son equivalentes.
E. Stephen Kleene (1909-1994)
Un especialista en el tema de funciones
recursivas y tambin la teora de autmatas.
En 1938, la teora de funciones -recursivas, que se
basan en la composicin de funciones y no en la
transicin entre estados (programas funcionales).
La teora de la computabilidad se ocupa de
construir un sistema matemtico formal para
razonar sobre la existencia o no existencia de los
algoritmos efectivos para problemas particulares.
III. COMPUTABILIDAD.
Un clculo es un proceso por el cual
pasamos de objetos dados inicialmente, llamados
entradas, de acuerdo con un conjunto fijo de reglas,
llamado programa, procedimiento o algoritmo, a
travs de una serie de pasos y llegamos al final de
estos pasos con un resultado final, llamada salida.
El algoritmo, como un conjunto de reglas
procedentes de la entrada a la salida, debe ser
preciso y definido, con cada paso sucesivo
claramente determinado. El concepto de
computabilidad se refiere a aquellos objetos que
pueden ser especificados en principio por
clculos [1].
A partir de esta definicin, la computabilidad
vendra a ser una propiedad atribuible o no a cierta
clase de objetos, por lo tanto se puede tener en
cuenta objetos computables y no computables,
algunos ejemplos: funciones computables o no
computables (utilizado por la teora de la
computabilidad), nmeros computables o no
computables (seleccionado por Alan Turing en su
primer artculo sobre las mquinas de Turing,
1936-37). Lo que mejor caracteriza a la propiedad
de computabilidad, es su carcter binario, es decir,
un objeto es o no es computable, lo que sera: tiene
o no tiene solucin.
La computabilidad tambin es una rama de las
matemticas que se encarga de estudiar las
propiedades de modelos computacionales. Para
demostrar que existe computabilidad se debe poder
responder a las siguientes preguntas:
Qu funciones pueden ser calculadas con
un determinado modelo?
Qu funciones no pueden ser calculadas
con un determinado modelo?
Qu complejidad computacional tiene la
solucin de un problema en un
determinado modelo?
Qu tipos de problemas surgen ante una
posible solucin por modelo de
computacin?
Son equivalentes dos modelos de
computacin?
IV. MODELOS COMPUTACIONALES.
Un modelo computacional es un modelo
matemtico que estudia el comportamiento de un
sistema complejo por medio de la simulacin por
computadora. Se trata de un sistema complejo no
lineal al cual no siempre es fcil hallarle una
solucin.
A continuacin se incluye una lista de modelos
computacionales:
Una cinta infinita en ambos extremos,
dividida en celdas. Cada celda puede
almacenar un carcter.
Una unidad de control. La unidad de
control almacena el estado corriente de M,
durante todo el procedimiento.
Un cabezal. En todo momento el cabezal
apunta a una celda. El dgito apuntado se
denomina carcter corriente. El cabezal
puede moverse de a una celda por vez, a la
izquierda o a la derecha.
Definimos una mquina de Turing como la 7 u-pla
M, de siete componentes de la mquina, tal que M
sera (Q, , , Qo, b, T, ), donde:
Q, es el conjunto de estados de la mquina.
, es el conjunto de caracteres de entrada
en cinta de memoria.
, es el conjunto de caracteres de la cinta.
Qo, es el estado inicial de la mquina.
b, es el smbolo en blanco o nulo, que
indica que no es ningn carcter.
T, es el conjunto de estados finales.
, es la funcin de transicin: Q x Q x
x {I, D, M}.
La funcin nos dice que si estamos en un estado
y leemos un carcter de la cinta, se convierte en un
nuevo estado, cambiando el carcter de la cinta y
movemos la ubicacin de la unidad de control
(izquierda, derecha o detenindose).

A. Mquina de Turing
En 1936, Turing public su trabajo en la
Sociedad de Matemticas de Londres, con el ttulo:
On Computable Numbers, with application to the
Entscheidungsproblem.
Expuso su tesis como un teorema demostrado,
utilizando su concepto de mquina terica, logro
Figura 1: Componentes de una MT M
demostrar que existen funciones que no son
calculables o resolubles por un mtodo definido y
en concreto que el Entscheidungsproblem era uno B. Mquina de post
de estos problemas, es as que naci la Maquina de
Turing. La principal caracterstica de la mquina de
Post es que utiliza una estructura de datos de tipo
Una mquina de Turing M (utilizaremos la cola para entrada, salida y memoria de trabajo.
abreviatura MT M) se compone de (vase la Figura
1): Estructuralmente, la principal caracterstica de una
cola es que el primer valor grabado es tambin el
primero en ser ledo (una lectura excluye el dato
ledo).
Una mquina de Post consta de dos partes:
Variable X.
-Se trata de una variable de tipo cola y se utiliza
como entrada, salida y memoria de trabajo.
-La variable X no tiene tamao ni lmite fijos. Su
longitud es igual a la longitud de la palabra
corriente almacenada.
-Los smbolos pueden pertenecer al alfabeto de
entrada o a {#}, nico smbolo auxiliar.
-Inicialmente, el valor de X es la palabra de
entrada. Si X no contiene smbolos, la entrada est
vaca, representada por .
Programa
-Es una secuencia finita de instrucciones,
representada como un diagrama de flujos (especie
de diagrama de flujo), en el cual cada vrtice es
una instruccin.
-Las instrucciones pueden ser de cuatro tipos:
arranque, parada, desviacin (lectura con prueba)
y asignacin.
Definimos una mquina de Post como la 3 u-pla M,
de 3 componentes de la mquina, tal que M sera
(, D, #), donde:
, es el alfabeto de smbolos de entrada.
D, es el programa o diagrama de flujos
construido a partir de componentes
elementales denominados partida, parada,
desvo y asignacin;
#, Smbolo auxiliar
La mquina de Post se representa como un
diagrama de flujos.
Componentes elementales de un diagrama de flujos
(vase la figura 2).
Partida. Slo hay una instruccin de inicio
en un programa
Parada. Existen dos alternativas de
instrucciones de detencin en un programa, una
de aceptacin y otra de rechazo:
Desviacin (o lectura con prueba) X
leer (X)
-Denota el comando que lee el smbolo ms a la
izquierda de la palabra almacenada en X,
retirando el primer smbolo.
-Es una instruccin compuesta de una lectura
del smbolo a la izquierda (inicio de la cola),
excluyndolo de la cola y desviando el flujo del
programa de acuerdo con el smbolo ledo;
-Debe preverse la posibilidad de que X
contenga la palabra vaca.
-Si el cardinal de es n, entonces existen n + 2
aristas de desviaciones condicional, pues se
deben incluir las posibilidades # y .
Asignacin X Xs
-Es una instruccin de concatenacin, grabando
el smbolo indicado (perteneciente a {#}) a
la derecha de la palabra almacenada en la
variable X (final de la cola).
-La operacin de asignacin se representa a
continuacin, suponiendo que s {#}.
Inicio (solo uno) Terminacin
START
REJECT ACCEPT
Test Asignacin
x tail(x) x xi
i k
Figura 2: Componentes de una Maquina de Post
C. Redes neuronales artificales
Una interconexin de varias unidades de
procesamiento (neuronas), forman Redes
Neuronales Artificiales. Las cuales toman entradas
y las procesas para finalmente emitir salidas.
Tomaremos el modelo de McCulloch-Pitts, el cual
intenta modelar el comportamiento de una neurona
natural, como las del cerebro humano. Esta viene
a ser esencial para la construccin de una red
neuronal artificial.
Se calcula con la suma ponderada de las entradas,
aplicada a una funcin no lineal. (Vase la Figura
3).
 VI. REFERENCIAS.
[1] Soare, Robert I. 1996. Computability and Recursion.
En: The Bulletin of Symbolic Logic. Volume 2, Number
3, Sept. pg. 284 - 321.

[2] Church, A. (1936). An unsolvable problem of

elementary number theory.
Figura 3 Componentes de una RNA American Journal of Mathematics, 58(2), 345-363.

[3] Alan M. Turing, On computable numbers with an

, es la suma application to the Eitschundsgenproblem.
ponderada [4] John Hopcroft & Jeffrey Ullman, Introduccin a la
xi, es el valor de la i-esima entrada. teora de Autmatas, Lenguajes y Computacin.
wi, es el peso de conexin en xi y la
[5] Pedro Isasi, Paloma Martinez & Daniel Borrajo,
neurona. Lenguajes, Gramticas y Autmatas: un enfoque
, es el valor umbral. prctico.
o, es la salida.
s, es la funcin no lineal, funcin de [6] H. Hermes, Enumerability, Decidability,
activacin. Computability.

[7] Paul Stratehern, Turing y el ordenador.

La funcin de activacin es:
[8] Andres Sicard, 1998, Ms all de la
computabilidad?.

[9] Ricardo Rosenfeld, Jernimo Irazbal,

Computabilidad, complejidad computacional y
El uso de estas neuronas permite hacer funciones
verificacin de programas, Universidad Nacional de la
lgicas, se aproxima a las redes neuronales y Plata Argentina, 2013.
tambin puede simular cualquier programa
computable.

V. CONCLUSIONES
El resolver un problema de carcter computacional
significa que hemos usado un modelo
computacional para poder calcular las soluciones.
El concepto de computabilidad tomo un sentido
ms amplio a partir de la creacin de la Maquina de
Turing.
El teorema de Gdel una vez demostrado fue de
gran ayuda para que Alan Turing se inspire en crear
la mquina de Turing.
Podemos afirmar que si una mquina de Turing no
puede resolver un problema, entonces no existe un
algoritmo para obtener su solucin.