3201188
Beschreibung
Mindmap von Javier Cáceres, aktualisiert more than 1 year ago
|
Erstellt von Javier Cáceres
vor mehr als 9 Jahre
|
|
ALAN MATHISON TURING
- Paddington, Londres, 23 de junio de 1912
- Wilmslow, Cheshire, 7 de junio de 1954
- Matemático, lógico, científico de la computación, criptógrafo,
filósofo, maratonista y corredor de ultra distancia británico.
- padre de la ciencia de la computación y
precursor de la informática moderna
- Proporcionó formalización de los conceptos de
algoritmo y computación: la máquina de Turing.
- Formuló su versión de
la tesis de Church-Turing.
- Formuló su versión de
la tesis de Church-Turing.
- Proporcionó formalización de los conceptos de
algoritmo y computación: la máquina de Turing.
- padre de la ciencia de la computación y
precursor de la informática moderna
- APORTES
- En 1936, Alonzo Church y Alan Turing demostraron que es imposible
escribir el algoritmo que decidiera si una fórmula del cálculo de primer
orden es un teorema. Tambièn, es imposible decidir con un algoritmo
general si ciertas frases de la aritmética son ciertas o falsas.
- La tesis de Church-Turing formula hipotéticamente: «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 tiene una aceptación prácticamente universal.
- La maquina de TUring es capaz de implementar cualquier
problema matemático que pudiera representarse mediante
un algoritmo. Las máquinas de Turing siguen siendo el
objeto central de estudio en la teoría de la computación.
- En 1938 obtuvo el Doctorado en Princeton; en su discurso
introdujo el concepto de hipercomputación, en el que ampliaba las
máquinas de Turing con las llamadas máquinas oracle que permitían
el estudio de los problemas que no tienen una solución algorítmica.
- Turing diseñó la bombe, una máquina electromecánica que se utilizaba
para eliminar gran cantidad de claves enigma. Era posible detectar
cuándo ocurría una contradicción y desecharla. Con una mejora que
sugirió el matemático Gordon Welchman, era la herramienta principal que
usaban los criptógrafos aliados para leer las transmisiones Enigma.
- Propuso el test de Turing, una prueba estándar para catalogar una
máquina como «sensible» o «sintiente». Una forma invertida de la
prueba de Turing se usa en Internet, como el test CAPTCHA, diseñado
para determinar si un usuario es un humano y no una computadora.
- En 1936, Alonzo Church y Alan Turing demostraron que es imposible
escribir el algoritmo que decidiera si una fórmula del cálculo de primer
orden es un teorema. Tambièn, es imposible decidir con un algoritmo
general si ciertas frases de la aritmética son ciertas o falsas.
Medienanhänge
Möchten Sie kostenlos Ihre eigenen Mindmaps mit GoConqr erstellen? Mehr erfahren.