personajes de la logica y aportaciones

Alan Mathison Turing
(Alan Mathison Turing; nació el 23 de junio de 1912 en Londres, Reino Unido, murió el 7 de junio de 1954, 41 años Cheshire, Reino Unido) fue un matemático, lógico,científicode 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 influyenteformalización de los conceptos de algoritmo y computación: la máquina de Turing. Formuló su propia versión de la hoy ampliamente aceptadaTesis de Church-Turing, la cual postula que cualquier modelocomputacional existente tiene las mismas capacidades algorítmicas, o un subconjunto, de las que tiene una máquina de Turing. Durante la Segunda Guerra Mundial, trabajó en descifrar los códigos nazis,particularmente los de la máquina Enigma; durante un tiempo fue el director de la sección Naval Enigma del Bletchley Park. Tras la guerra diseñó uno de los primeros computadores electrónicos programablesdigitales en el Laboratorio Nacional de Física del Reino Unido y poco tiempo después construyó otra de las primeras máquinas en la Universidad de Mánchester. Entre otras muchas cosas, también contribuyó deforma particular e incluso provocativa al enigma de si las máquinas pueden pensar, es decir a la Inteligencia Artificial.
Turing trabajó desde 1952 hasta que falleció en 1954 en la biologíamatemática, concretamente en la morfogénesis. Publicó un trabajo sobre esta materia titulado "Fundamentos Químicos de la Morfogénesis" en 1952. Su principal interés era comprender la filotaxis de Fibonacci, esdecir, 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. Augustus De Morgan 
(Madurai, India; 27 de junio de 1806 - Londres, Gran Bretaña; 18 de marzo de 1871) fue un matemático y lógico inglés nacido en la India. Profesor de matemáticas en el Colegio...