An Lisis Sobre Aportes Alan Turing A La L Gica
Páginas: 7 (1566 palabras)
Publicado: 24 de marzo de 2015
Universidad Mariano Gálvez de Guatemala.
Sede San José Pinula.
Ingeniero Carlos Rodriguez Sazo.
Sección: D
Lógica de Sistemas
Tarea 1
Análisis sobre aportes Alan Turing a la lógica.
Alumno: Sergio René Gutiérrez Medina
Carné: 3190-14-21493
Guatemala 21 de Febrero de 2015
Introducción:
El presente trabajo de investigación presenta un resumen de la vida del matemático AlanTuring y sus aportes a la lógica como ciencia.
Alan Turing fue, nacido en 1912 fue una de las mentes más brillantes del siglo XX, sus aportes a la ciencia fueron en gran medida apoyo a las bases de la computación como la conocemos hoy en día, así como su aporte en la segunda guerra mundial con el descubrimiento del código de la "máquina Enigma" con la cual se descubrían los mensajes interceptadosalemanes.
Marco Teórico:
El presente trabajo de investigación contiene como tema principal la vida de Alan Turing.
Análisis sobre aportes Alan Turing a la lógica.
Teoría de la probabilidad
Resolución al problema de la decisión o Entscheidungsproblem
la Máquina de Turing
Fundamento teórico de la Computación y base teórica de la Informática
El descubrimiento del código de la máquina EnigmaDesarrollo de los primeros computadores
Desarrollo del “Test de Turing”
Historia de Alan Turing
Alan Mathison Turing nació el 23 de Junio de 1912 en Paddington Londres. Su padre, Julius Mathison, era funcionario del Servicio Civil Indio (cuerpo de funcionarios británicos en la India), y su madre, Ethel Sara Turing, era hija del Ingeniero Jefe de los Ferrocarriles de Madrás. Dio muestras de su ingenio yde su capacidad desde una edad muy temprana, interesándose por la ciencia en general y por la resolución de enigmas y rompecabezas en particular.
Durante su estancia en esta escuela Alan Turing siguió demostrando su excepcional capacidad para la ciencia. Con dieciséis años leyó los trabajos de Einstein y, según se desprende de sus notas personales, no sólo los comprendió, sino que infirió lasrelaciones entre éstos y la física Newtoniana de unos textos en los que dichas relaciones no se encontraban descritas. Es en esta época cuando conoce a Christopher Morcom, un joven prometedor y brillante con quién mantendrá una intensa relación. Las inquietudes intelectuales de Christopher se centraban en descubrir las relaciones entre la mente humana y su “continente” físico, lo que influyó de formadecisiva en el punto de vista tan particular que tenía Turing acerca de la relación entre lo físico o real y los conceptos abstractos de matemática pura. La temprana muerte de su amigo marcó profundamente a Turing e influyó de forma decisiva en su determinación de continuar lo que Cristopher apenas había podido comenzar.
En 1931 ingresó en el King’s College de Cambridge, consiguiendo un“distinguished degree”, la mayor calificación posible en los estudios universitarios. En 1935 consiguió una beca del mismo King’s College y en 1936 un Premio Smith por su trabajo en la teoría de la probabilidad. En ese momento la carrera de Alan Turing parecía encaminarse hacia las matemáticas puras tradicionales, pero su singular forma de pensar le condujo en una dirección completamente inesperada.
Desde1933 se había interesado por las teorías de Russell, Whitehead y Gödel acerca de la formalización de las matemáticas en términos de la lógica de proposiciones. Este interés fue el que llevó a Turing a dar con el conocido como Problema de la decisión o Entscheidungsproblem, planteado por David Hilbert y Wilhem Ackermann en 1928, y para el que aún no se había encontrado respuesta: ¿Podría existir, almenos en principio, un método definido o proceso a través del cual pudiera decidirse si una afirmación matemática es demostrable? o dicho de otro modo, ¿es posible encontrar una forma de saber a ciencia cierta si una afirmación determinada, dentro del contexto de las matemáticas, es cierta o falsa, o por el contrario existen afirmaciones cuya naturaleza no podemos determinar?
El logro de...
Sede San José Pinula.
Ingeniero Carlos Rodriguez Sazo.
Sección: D
Lógica de Sistemas
Tarea 1
Análisis sobre aportes Alan Turing a la lógica.
Alumno: Sergio René Gutiérrez Medina
Carné: 3190-14-21493
Guatemala 21 de Febrero de 2015
Introducción:
El presente trabajo de investigación presenta un resumen de la vida del matemático AlanTuring y sus aportes a la lógica como ciencia.
Alan Turing fue, nacido en 1912 fue una de las mentes más brillantes del siglo XX, sus aportes a la ciencia fueron en gran medida apoyo a las bases de la computación como la conocemos hoy en día, así como su aporte en la segunda guerra mundial con el descubrimiento del código de la "máquina Enigma" con la cual se descubrían los mensajes interceptadosalemanes.
Marco Teórico:
El presente trabajo de investigación contiene como tema principal la vida de Alan Turing.
Análisis sobre aportes Alan Turing a la lógica.
Teoría de la probabilidad
Resolución al problema de la decisión o Entscheidungsproblem
la Máquina de Turing
Fundamento teórico de la Computación y base teórica de la Informática
El descubrimiento del código de la máquina EnigmaDesarrollo de los primeros computadores
Desarrollo del “Test de Turing”
Historia de Alan Turing
Alan Mathison Turing nació el 23 de Junio de 1912 en Paddington Londres. Su padre, Julius Mathison, era funcionario del Servicio Civil Indio (cuerpo de funcionarios británicos en la India), y su madre, Ethel Sara Turing, era hija del Ingeniero Jefe de los Ferrocarriles de Madrás. Dio muestras de su ingenio yde su capacidad desde una edad muy temprana, interesándose por la ciencia en general y por la resolución de enigmas y rompecabezas en particular.
Durante su estancia en esta escuela Alan Turing siguió demostrando su excepcional capacidad para la ciencia. Con dieciséis años leyó los trabajos de Einstein y, según se desprende de sus notas personales, no sólo los comprendió, sino que infirió lasrelaciones entre éstos y la física Newtoniana de unos textos en los que dichas relaciones no se encontraban descritas. Es en esta época cuando conoce a Christopher Morcom, un joven prometedor y brillante con quién mantendrá una intensa relación. Las inquietudes intelectuales de Christopher se centraban en descubrir las relaciones entre la mente humana y su “continente” físico, lo que influyó de formadecisiva en el punto de vista tan particular que tenía Turing acerca de la relación entre lo físico o real y los conceptos abstractos de matemática pura. La temprana muerte de su amigo marcó profundamente a Turing e influyó de forma decisiva en su determinación de continuar lo que Cristopher apenas había podido comenzar.
En 1931 ingresó en el King’s College de Cambridge, consiguiendo un“distinguished degree”, la mayor calificación posible en los estudios universitarios. En 1935 consiguió una beca del mismo King’s College y en 1936 un Premio Smith por su trabajo en la teoría de la probabilidad. En ese momento la carrera de Alan Turing parecía encaminarse hacia las matemáticas puras tradicionales, pero su singular forma de pensar le condujo en una dirección completamente inesperada.
Desde1933 se había interesado por las teorías de Russell, Whitehead y Gödel acerca de la formalización de las matemáticas en términos de la lógica de proposiciones. Este interés fue el que llevó a Turing a dar con el conocido como Problema de la decisión o Entscheidungsproblem, planteado por David Hilbert y Wilhem Ackermann en 1928, y para el que aún no se había encontrado respuesta: ¿Podría existir, almenos en principio, un método definido o proceso a través del cual pudiera decidirse si una afirmación matemática es demostrable? o dicho de otro modo, ¿es posible encontrar una forma de saber a ciencia cierta si una afirmación determinada, dentro del contexto de las matemáticas, es cierta o falsa, o por el contrario existen afirmaciones cuya naturaleza no podemos determinar?
El logro de...
Leer documento completo
Regístrate para leer el documento completo.