3247333
Beschreibung
Mindmap von laraguevarad, aktualisiert more than 1 year ago
|
Erstellt von laraguevarad
vor mehr als 9 Jahre
|
|
ALAN MATHISON TURING
- (Paddington, Londres, 23 de junio de 1912 - Wilmslow, Cheshire 7 de Junio de 1954)
- Es considerado uno de los padres de la ciencia de la computación y precursor de la informática
moderna. Proporcionó una influyente formalización de los conceptos de algoritmo y computación: la
máquina de Turing.
- Cientìfico de la computaciòn, Criptògrafo
- Corredor de ultra distancia Britànico
- Fue Matemàtico, Lògico, Filòsofo, Maratonista.
- ¿QUIEN ES?
- Es considerado uno de los padres de la ciencia de la computación y precursor de la informática
moderna. Proporcionó una influyente formalización de los conceptos de algoritmo y computación: la
máquina de Turing.
- ¿QUE HIZO?
- Solución al problema de decisión
- Fue un reto en lógica simbólica de encontrar un algoritmo general que
decidiera si una fórmula del cálculo de primer orden es un teorema. En 1936, de manera
independiente, Alonzo Church y Alan Turing demostraron ambos que es imposible escribir tal
algoritmo. Es también imposible decidir con un algoritmo general si ciertas frases concretas de la
aritmética son ciertas o falsas.
- Fue un reto en lógica simbólica de encontrar un algoritmo general que
decidiera si una fórmula del cálculo de primer orden es un teorema. En 1936, de manera
independiente, Alonzo Church y Alan Turing demostraron ambos que es imposible escribir tal
algoritmo. Es también imposible decidir con un algoritmo general si ciertas frases concretas de la
aritmética son ciertas o falsas.
- Tesis Church-Turing
- La tesis de Church-Turing formula hipotéticamente la equivalencia entre los conceptos de
función computable y máquina de Turing, que expresado en lenguaje corriente vendría a ser:
«Todo algoritmo es equivalente a una máquina de Turing». No es en sí un teorema matemático:
es una afirmación formalmente indemostrable, una hipótesis que, no obstante, tiene una
aceptación prácticamente universal
- La tesis de Church-Turing formula hipotéticamente la equivalencia entre los conceptos de
función computable y máquina de Turing, que expresado en lenguaje corriente vendría a ser:
«Todo algoritmo es equivalente a una máquina de Turing». No es en sí un teorema matemático:
es una afirmación formalmente indemostrable, una hipótesis que, no obstante, tiene una
aceptación prácticamente universal
- La máquina de Turing
- En su memorable estudio "Los números computables, con una aplicación al Entscheidungsproblem"
(publicado en 1936), Turing reformuló los resultados obtenidos por Kurt Gödel en 1931 sobre los límites de
la demostrabilidad y la computación, sustituyendo al lenguaje formal universal descrito por Gödel por lo
que hoy se conoce como máquina de Turing, unos dispositivos formales y simples.
- En su memorable estudio "Los números computables, con una aplicación al Entscheidungsproblem"
(publicado en 1936), Turing reformuló los resultados obtenidos por Kurt Gödel en 1931 sobre los límites de
la demostrabilidad y la computación, sustituyendo al lenguaje formal universal descrito por Gödel por lo
que hoy se conoce como máquina de Turing, unos dispositivos formales y simples.
- Solución al problema de decisión
- RECONOCIMIENTOS
- Turing en el cine
- -El telefilme británico Breaking the code (1996) está basado en la vida de Turing. The Imitation Game (2014,
dirigida por Morten Tyldum, con Benedict Cumberbatch y Keira Knightley) cuenta la vida del matemático Alan
Turing y su decisiva influencia en el desarrollo de la Segunda Guerra Mundial.
- -El telefilme británico Breaking the code (1996) está basado en la vida de Turing. The Imitation Game (2014,
dirigida por Morten Tyldum, con Benedict Cumberbatch y Keira Knightley) cuenta la vida del matemático Alan
Turing y su decisiva influencia en el desarrollo de la Segunda Guerra Mundial.
- Turing en la literatura
- Turing es uno de los personajes de la sección de la Segunda Guerra Mundial del Criptonomicón. La obra de
teatro Breaking the Code, de Hugh Whitemore, trata sobre la vida y la muerte de Turing. En la novela de
John L. Casti titulada El quinteto de Cambridge (1998)
- Turing es uno de los personajes de la sección de la Segunda Guerra Mundial del Criptonomicón. La obra de
teatro Breaking the Code, de Hugh Whitemore, trata sobre la vida y la muerte de Turing. En la novela de
John L. Casti titulada El quinteto de Cambridge (1998)
- Turing en el cine
Medienanhänge
Möchten Sie kostenlos Ihre eigenen Mindmaps mit GoConqr erstellen? Mehr erfahren.