Números computables con aplicación al problema de entscheidungs(decisiones).

Los números "computables" pueden describirse brevemente como los números reales
cuyas expresiones como decimal son calculables por medios finitos. Aunque el tema de
este artículo es ostensiblemente los números computables. Es casi igualmente fácil definir
e investigar funciones computables de una variable integral o una variable real o
computable, computables predicados, y así sucesivamente. Los problemas fundamentales
involucrados son, Sin embargo, lo mismo en cada caso, y he elegido los números
computables para un tratamiento explícito como la técnica menos complicada. espero
brevemente para dar cuenta de las relaciones de los números computables, funciones, y
así sucesivamente entre sí. Esto incluirá un desarrollo de la teoría de funciones de una
variable real expresada en términos de números computables. Según mi definición, un
número es computable si su decimal puede ser escrito por una máquina.
En §§ 9, 10 doy algunos argumentos con la intención de mostrar que los números
computables incluyen todos los números que naturalmente podrían ser considerado como
computable. En particular, muestro que ciertas clases grandes de números son
computables. Incluyen, por ejemplo, las partes reales de todos los números algebraicos, las
partes reales de los ceros de las funciones de Bessel, los números Pi, e, etc. Sin embargo,
los números computables no incluyen todos los números definibles, y se da un ejemplo de
un número definible que no es computable.

Aunque la clase de números computables es muy grande, y en muchos caminos de forma

similar a la clase de números reales, sin embargo, es enumerarle.
En § 81 examine ciertos argumentos que parecen probar lo contrario. Mediante la correcta
aplicación de uno de estos argumentos, las conclusiones son alcanzados que son
superficialmente similares a los de Gbdelf. Estos resultados tener aplicaciones valiosas. En
particular, se muestra (§11) que el Hilbertian Entscheidungsproblem no puede tener
solución. En un artículo reciente, Alonzo Church f introdujo una idea de "efectivo
calculabilidad ", que es equivalente a mi" computabilidad ", pero es muy definido de manera
diferente. Iglesia también llega a conclusiones similares sobre el EntscheidungsproblemJ.
La prueba de equivalencia entre "computabilidad" y "calculabilidad efectiva" se describe en
un apéndice del presente papel.
 1. Máquinas de computación.
Hemos dicho que los números computables son aquellos cuyos decimales son calculables
por medios finitos. Esto requiere bastante más explicacion. No se hará ningún intento real
para justificar las definiciones dadas hasta que lleguemos al § 9. Por el momento solo diré
que la justificación radica (miente) en el hecho de que la memoria humana es
necesariamente limitada.
Podemos comparar a un hombre en el proceso de computarizar un número real con una
máquina que solo es capaz de cumplir un número finito de condiciones q1,q2…. qn; que se
llamará "configuraciones m". La máquina se suministra con un "cinta" (el análogo del papel)
corriendo atreves de él y se divide en secciones (llamadas "cuadrados"), cada una capaz
de llevar un "símbolo". En cualquier momento solo hay un cuadrado, digamos la r-th, con el
símbolo X(r) que está "en la máquina". Podemos llamar a este cuadrado el "cuadrado
escaneado ".

El símbolo en el cuadrado escaneado puede llamarse" escaneado símbolo ". El" símbolo
escaneado "es el único de los cuales la máquina es, por así decirlo, "directamente
consciente". Sin embargo, al alterar su configuración m, la máquina puede recordar
efectivamente algunos de los símbolos que ha "visto" (escaneado) anteriormente. El posible
comportamiento de la máquina en cualquier momento está determinado por las
configuraciones m y por el símbolo escaneado X(r).
Este par qn X(r) se llamará la '' configuración '': así, la configuración determina el posible
comportamiento de la máquina. En algunas de las configuraciones en las que el cuadrado
escaneado está en blanco (es decir, no lleva ningún símbolo) la máquina escribe un nuevo
símbolo en el cuadrado escaneado; en otras configuraciones borra el símbolo escaneado.
La máquina también puede cambiar el cuadrado que se está escaneando, pero solo por
desplazándolo un solo lugar a la derecha o a la izquierda. Además de cualquiera de estas
operaciones las “configuraciónes m” puede ser cambiadas.

Algunos de los símbolos escritos formarán la secuencia de figuras que es la parte decimal
del número real que se está computarizando. Los otros son solo notas aproximadas para
"ayudar a la memoria ". Solo estas notas aproximadas serán susceptibles de borrarse. Creo
que estas operaciones incluyen todas las que se usan en la computarización de un número.
La defensa de esta afirmación será más fácil cuando la teoría de las máquinas es familiar
para el lector. En la siguiente sección, por lo tanto, procedo con el desarrollo de la teoría y
supongamos que se entiende lo que se entiende por "máquina", "cinta", "escaneado", etc.
 DEFINICIONES

Maquinas automaticas:

Si en cada etapa el movimiento de una máquina (en sentido de 1) es completamente

determinado por la configuración, podemos llamarla automática. Para algunos propositos,
podemos usar maquinas o maquinas de elección cuyo movimiento es parcialmente
determinado por la configuración (por eso es “posible” en 1). Cuando la maquina alcanza
una de estas configuraciones ambiguas no puede continuar hasta que intervenga un
operador externo. Este es el caso si tuvieramos que lidiar con sistemas axiomaticos
(proposiciones no demostradas o teoremas no demostrados).

Maquinas Computadoras:

Si una maquina imprime dos tipos de simbolos de los cuales el primero consiste
completamente en 0 y 1, entonces la maquina es una maquina computadora. Si la
maquina se suminstra con una cinta en blanco que se pone en movimiento, iniciando con
ayuda de las m-configuraciones, la consecuencia de simbolos sera la secuencia
computarizada por la maquina. El numero real cuya expresión al binario es obtenida al
introducir la secuencia por punto decimal es llamado numero computarizado por la
maquina.

En cualquier etapa del movimiento de la máquina, el numero de cuadrados escaneados,

la secuencia completa de simbolos en la cinta y las m-configuraciones son la COMPLETA
CONFIGURACIÓN del escenario. Los cambios de la maquina y la cinta ademas de las
configuraciones completads son llamdos MOVIMIENTOS DE LA MÁQUINA.