Maquina De Turin

LA MÁQUINA DE TURING/EL CEREBRO HUMANO Y LA MÁQUINA DE TURING

Tanto una computadora como nuestro cerebro, tienen una arquitectura fija o conectada mediante cables, pero también una enorme capacidad para adaptarse a otras situaciones gracias a la memoria.

En la computadora y el cerebro, la memoria puede guardar tanto programas si es una computadora, como entrenamientos si es un cerebro.

La máquina universal de Turing, tiene por el teorema del mismo autor, la potencialidad de transformarse en cualquier máquina virtual que se nos pudiera ocurrir.

La principal diferencia con los esquemas previos reside en que la actividad intelectual humana es un sistema simbólico operando en paralelo y en serie-paralelo. Esta operación se debe imaginar más bien como un sistema híbrido donde participan componentes lógico - simbólicos, sumados a la inserción de redes neurales específicas.

Con esas manipulaciones y símbolos, los cerebros humanos son capaces de crear a una máquina universal de Turing. Los ceros y unos digitales humanos son neuronas apagadas y encendidas y ciclos capaces de ser reconocidos. Las "máquinas de Turing" humanas suelen operar lentamente, en apariencia por defectos de memoria, dado que se deben memorizar los estados intermedios. Si esperamos lo suficiente, pueden llegar a realizar las operaciones de una máquina universal.

Los seres humanos tienen funciones intelectuales superiores. Cada una de las cuales es una nueva función de respuesta. Es entonces casi una máquina universal de Turing en acción, es casi una máquina que todo lo imita.

MÁQUINA DE TURING

La máquina de Turing es un modelo computacional introducido por Alan Turing, publicado por la Sociedad Matemática de Londres en 1936, en el cual se estudiaba la cuestión planteada por David Hilbert sobre si las matemáticas son decididles, es decir, si hay un método definido que pueda aplicarse a cualquier sentencia matemática y que nos diga si esa sentencia es cierta o no. Turing construyó un modelo formal de computador, la máquina de Turing, y demostró que existían problemas que una máquina no podía resolver. La máquina de Turing es un modelo matemático abstracto que formaliza el concepto de algoritmo.

La máquina de Turing consta de un cabezal lector/escritor y una cinta infinita en la que el cabezal lee el contenido, borra el contenido anterior y escribe un nuevo valor. Las operaciones que se pueden realizar en esta máquina se limitan a:

Avanzar el cabezal lector/escritor hacia la derecha.

Avanzar el cabezal lector/escritor hacia la izquierda.

El cómputo es determinado a partir de una tabla de estados de la forma:

(Estado, valor) (Nuevo estado, nuevo valor, dirección)

Esta tabla toma como parámetros el estado actual de la máquina y el carácter leído de la cinta, dando la dirección para mover el cabezal, el nuevo estado de la máquina y el valor a ser escrito en la cinta. Con este aparato extremadamente sencillo es posible realizar cualquier cómputo que un computador digital sea capaz de realizar.

Mediante este modelo teórico y el análisis de complejidad de algoritmos, fue posible la categorización de problemas computacionales de acuerdo a su comportamiento, apareciendo así, el conjunto de problemas denominados P y NP, cuyas soluciones en tiempo polinómico son encontradas según el determinismo y no determinismo respectivamente de la máquina de Turing.

De hecho, se puede probar matemáticamente que para cualquier programa de computadora es posible crear una máquina de Turing equivalente. Esta prueba resulta de la Tesis de Church-Turing, formulada por Alan Turing y Alonzo Church, de forma

...