Loading presentation...

Present Remotely

Send the link below via email or IM

Copy

Present to your audience

Start remote presentation

  • Invited audience members will follow you as you navigate and present
  • People invited to a presentation do not need a Prezi account
  • This link expires 10 minutes after you close the presentation
  • A maximum of 30 users can follow your presentation
  • Learn more about this feature in our knowledge base article

Do you really want to delete this prezi?

Neither you, nor the coeditors you shared it with will be able to recover it again.

DeleteCancel

Make your likes visible on Facebook?

Connect your Facebook account to Prezi and let your likes appear on your timeline.
You can change this under Settings & Account at any time.

No, thanks

La Máquina de Turing

No description
by

Paola Castellanos

on 21 August 2013

Comments (0)

Please log in to add your comment.

Report abuse

Transcript of La Máquina de Turing

0
+
-
=
9
8
7
1
2
3
4
5
6
c
Propósito
Alan Turing
Alan Mathison Turing, Nacido en Londres el 23 de junio de 1912 - fue un matemático, lógico, científico de la computación, criptógrafo y filósofo británico.
Es considerado uno de los padres de la ciencia de la computación siendo el precursor de la informática moderna. Proporcionó una influyente formalización de los conceptos de algoritmo y computación: la máquina de Turing.
Máquina de Turín
La incompletitividad
Adam Turín – Godel

El matemático británico Alan Mathison Turing busco que las matemáticas de cierta forma fueran posibles de reducir hasta el punto en el que llegaran a ser parte de la computación y su máquina tenía la capacidad de ello, tanto que era posible realizar casi cualquier cosa que el cerebro humano era capaz de realizar, hasta el punto en el que llegaba a poseer conciencia en sí mismo.
Existe un algoritmo tal que pueda decidir si la proposición es cierta (y por tanto es un teorema del sistema) o por el contrario es falsa?
Razonamiento
"Todo algoritmo es equivalente
a una máquina de Turing".

Suposiciones
Uno de los principales ejemplos de aplicación de algoritmos en la naturaleza son las hormigas, son insectos sociales que viven en colonias y que gracias a su mutua colaboración son capaces de mostrar comportamientos complejos y realizar tareas complicadas desde la óptica de una hormiga individual, teniendo en cuenta que estas son prácticamente ciegas, crean un algoritmo donde escogen el camino más corto para conseguir comida, guiadas por feromonas.
Puntos de Vista
Alonzo Church
Su obra más conocida es el desarrollo del cálculo lambda, y su trabajo de 1936 que muestra la existencia de problemas indecidibles. Fue la primer concepción de la maquina de Turing.
Kurt Gödel
El primer teorema de incompletitud afirma que, bajo ciertas condiciones, ninguna teoría matemática formal capaz de describir los números naturales y la aritmética con suficiente expresividad, es a la vez consistente y completa
.
Trabajó en el Laboratorio Nacional de Física en el diseño del ACE (Motor de Computación Automática
(1945 a 1948)
(1949 a 1950)
Trabajo en el software de una de las primeras computadoras reales — la Manchester Mark I. Durante esta etapa también realizó estudios más abstractos y en su artículo "Máquinas de computación e inteligencia" Turing trató el problema de la inteligencia artificial y propuso un experimento que hoy se conoce como Test de Turing, con la intención de definir una prueba estándar por el que una máquina podría catalogarse como "sensible" o "sintiente".
1952
Escribió un programa de ajedrez.
A falta de una computadora lo suficientemente potente como para ejecutarlo, él simulaba el funcionamiento de la computadora, tardando más de hora y media en efectuar un movimiento.
(1952 a 1954)

Su principal interés era comprender la filotaxis de Fibonacci, es decir, la existencia de los números de Fibonacci en las estructuras vegetales. Utilizó ecuaciones de reacción-difusión que actualmente son cruciales en el campo de la formación de patrones.
Durante la Segunda Guerra Mundial, trabajó en descifrar los códigos nazis, particularmente los de la máquina Enigma
Desarrolló él mismo circuitos, especificaciones de unidades hardware, código máquina, memorias, programas, estimaciones de coste
Fue quien inicio los Algoritmos genéticos (análogos al proceso de evolución de las cadenas de ADN).
La Bioinformática es una disciplina cuyos orígenes se remontan a los primeros análisis con ordenador de las secuencias de ADN y proteínas.
Gracias por su atención
Fue un trabajo presentado por:
-Paola Castellanos
-David Salazar
Bibliografía:
Nagel, E.; Newman, J. R. (1994) El Teorema de Gödel. Madrid.
El hombre y la máquina N° 29. Universidad Autónoma de Occidente. Ortiz Rico Guillermo
Sistemas Emergentes. Jonhson Steven. Junio de 2012.
Google celebra al padre de la computación con su doodle. Duarte Roa Éricka. Revista ENTER.CO
Bioinformática, simulación vida artificial inteligencia artificial. Lahoz Beltran Rafael. 2004. http://books.google.com.co/books?
Turing y el Ordenador. Stratherm Paul. Siglo veintiuno de España editores. Primera edición. 1999.
Una historia de la informática. Barceló Miguel. Editorial UOC. Primera edición. 2008.
Breve historia de la computación y sus pioneros. Coello Coello Carlos A. Primera edición. 2003.
http://es.wikipedia.org/wiki/Alan_Turing
"No es ninguna exageración decir que él es uno de los fundadores de cada computador y cada compañía de Internet que existe en la actualidad"
Andrew Eland, director de ingeniería de Google
Full transcript