Maquinas de Turing
Páginas: 25 (6117 palabras)
Publicado: 23 de mayo de 2014
Introducción
En el presente trabajo se explican los comienzos de la informática teórica por medio del trabajo del señor Alan Turing, quien desarrolló la Máquina de Turing, una entidad matemática abstracta que formalizó el concepto de algoritmo, convirtiéndose en la precursora de las computadoras digitales y con cuyo invento pudo demostrar que existen problemas irresolubles.
ObjetivosConocer los inicios de la computación por medio de las máquinas de Turing
Funcionamiento y tipos de MT
Desarrollo
1. Inicios de la Máquina de Turing
En el año 1931, Kurt Gödel publicó su famoso artículo Sobre las proposiciones formalmente indecidibles en “Principia mathematica y sistemas relacionados”, el cual en síntesis demuestra que toda formulación axiomática consistente de la teoríade números contiene proposiciones indecidibles, es decir, siempre habrá en ella afirmaciones verdaderas que no se pueden demostrar.
K. Gödel con A. Einstein
En 1937, el matemático inglés Alan Turing publicó otro artículo famoso (sobre los Números Calculables), que desarrollo el teorema de Gödel y que puede considerarse el origen oficial de la informática teórica. En este artículointrodujo la Máquina de Turing, una entidad matemática abstracta que formalizó el concepto de algoritmo, convirtiéndose en la precursora de las computadoras digitales. Con la ayuda de su máquina, Turing pudo demostrar que existen problemas irresolubles, tales que ninguna máquina u ordenador serán capaces de obtener su solución. Por esta razón, Turing es considerado el padre de la teoría de lacomputabilidad.
A. Turing
En forma general, una Máquina de Turing puede considerarse como una cinta infinita dividida en casillas, cada una de las cuales contiene un símbolo. Sobre dicha cinta actúa un dispositivo que puede adoptar diversos estados y que, en cada instante, lee un símbolo de la casilla sobre la que está situado. En función del símbolo que ha leído y del estado en que se encuentra,realiza las tres acciones siguientes: pasa a un nuevo estado, imprime un símbolo en lugar del que acaba de leer y se desplaza a una posición hacia la izquierda, derecha, o se detiene.
2. La prueba de Turing (máquina y persona)
Se llama Prueba o Test de Turing al procedimiento desarrollado por Alan Turing para identificar la existencia de inteligencia en una máquina. Expuesto en 1950 en unartículo para la revista Mind (Computing Machinery and Inteligence), sigue siendo hoy día una de las cabezas de lanza de los defensores de la Inteligencia Artificial. Está fundamentado en la asunción positivista de que, si una máquina se comporta en todos los aspectos como inteligente, entonces debe ser inteligente.
La prueba consiste en un desafío. La máquina ha de hacerse pasar por humana en unaconversación con un hombre a través de una comunicación de texto estilo chat. Al sujeto no se le avisa si está hablando con una máquina o una persona. Si el sujeto es incapaz de determinar si la otra parte de la comunicación es humana o máquina, entonces se considera que la máquina ha alcanzado un determinado nivel de madurez: es inteligente. Todavía ninguna maquina puede pasar este examen en unaexperiencia con método científico.
La prueba de Turing
Existe una versión modificada, propuesta por Roger Penrosse: la sala china, en esencia es igual, pero la ejecución del algoritmo la realizan personas encerradas en una habitación, se requiere que las personas de la habitación no conozcan el idioma en que se realiza la conversación. Pese a la brillantez de Penrosse, esta modificación noaporta nada al problema, puesto que si los operadores consiguen comprender la conversación, lo harían gracias a su propia inteligencia, por otra parte, pese a lo aparentemente absurdo de la proposición, la sala podría pasar la prueba de Turing sin que los operadores hubieran comprendido nada de la conversación.
3. Qué es una Máquina de Turing y cómo funciona.
Una máquina de Turing es un...
Introducción
En el presente trabajo se explican los comienzos de la informática teórica por medio del trabajo del señor Alan Turing, quien desarrolló la Máquina de Turing, una entidad matemática abstracta que formalizó el concepto de algoritmo, convirtiéndose en la precursora de las computadoras digitales y con cuyo invento pudo demostrar que existen problemas irresolubles.
ObjetivosConocer los inicios de la computación por medio de las máquinas de Turing
Funcionamiento y tipos de MT
Desarrollo
1. Inicios de la Máquina de Turing
En el año 1931, Kurt Gödel publicó su famoso artículo Sobre las proposiciones formalmente indecidibles en “Principia mathematica y sistemas relacionados”, el cual en síntesis demuestra que toda formulación axiomática consistente de la teoríade números contiene proposiciones indecidibles, es decir, siempre habrá en ella afirmaciones verdaderas que no se pueden demostrar.
K. Gödel con A. Einstein
En 1937, el matemático inglés Alan Turing publicó otro artículo famoso (sobre los Números Calculables), que desarrollo el teorema de Gödel y que puede considerarse el origen oficial de la informática teórica. En este artículointrodujo la Máquina de Turing, una entidad matemática abstracta que formalizó el concepto de algoritmo, convirtiéndose en la precursora de las computadoras digitales. Con la ayuda de su máquina, Turing pudo demostrar que existen problemas irresolubles, tales que ninguna máquina u ordenador serán capaces de obtener su solución. Por esta razón, Turing es considerado el padre de la teoría de lacomputabilidad.
A. Turing
En forma general, una Máquina de Turing puede considerarse como una cinta infinita dividida en casillas, cada una de las cuales contiene un símbolo. Sobre dicha cinta actúa un dispositivo que puede adoptar diversos estados y que, en cada instante, lee un símbolo de la casilla sobre la que está situado. En función del símbolo que ha leído y del estado en que se encuentra,realiza las tres acciones siguientes: pasa a un nuevo estado, imprime un símbolo en lugar del que acaba de leer y se desplaza a una posición hacia la izquierda, derecha, o se detiene.
2. La prueba de Turing (máquina y persona)
Se llama Prueba o Test de Turing al procedimiento desarrollado por Alan Turing para identificar la existencia de inteligencia en una máquina. Expuesto en 1950 en unartículo para la revista Mind (Computing Machinery and Inteligence), sigue siendo hoy día una de las cabezas de lanza de los defensores de la Inteligencia Artificial. Está fundamentado en la asunción positivista de que, si una máquina se comporta en todos los aspectos como inteligente, entonces debe ser inteligente.
La prueba consiste en un desafío. La máquina ha de hacerse pasar por humana en unaconversación con un hombre a través de una comunicación de texto estilo chat. Al sujeto no se le avisa si está hablando con una máquina o una persona. Si el sujeto es incapaz de determinar si la otra parte de la comunicación es humana o máquina, entonces se considera que la máquina ha alcanzado un determinado nivel de madurez: es inteligente. Todavía ninguna maquina puede pasar este examen en unaexperiencia con método científico.
La prueba de Turing
Existe una versión modificada, propuesta por Roger Penrosse: la sala china, en esencia es igual, pero la ejecución del algoritmo la realizan personas encerradas en una habitación, se requiere que las personas de la habitación no conozcan el idioma en que se realiza la conversación. Pese a la brillantez de Penrosse, esta modificación noaporta nada al problema, puesto que si los operadores consiguen comprender la conversación, lo harían gracias a su propia inteligencia, por otra parte, pese a lo aparentemente absurdo de la proposición, la sala podría pasar la prueba de Turing sin que los operadores hubieran comprendido nada de la conversación.
3. Qué es una Máquina de Turing y cómo funciona.
Una máquina de Turing es un...
Leer documento completo
Regístrate para leer el documento completo.