Alan Mathison Turing

4
Alan Mathison Turing, OBE (Paddington, Londres, 23 de junio de 1912 - Wilmslow, Cheshire, 7 de junio de 1954), fue unmatemá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. Formuló su propia versión de la hoy ampliamente aceptada tesis de Church-Turing. Entre otras muchas cosas, también contribuyó de forma particular e incluso provocativa al enigma de si las máquinas pueden pensar, es decir, a la inteligencia artificial. Su carrera escolar estuvo marcada, por un lado, por sus aptitudes y su facilidad por las matemáticas y, por el otro, por su carácter inconformista que le llevaba a seguir sus propias ideas y apartarse del rígido (e ilógico, según su parecer) sistema educativo. Con poco más de quince años, entró en contacto con el trabajo de Albert Einstein y, además de entender sus bases, comprendió las críticas de éste a las Leyes de Newton a partir de un texto en el que no se explicitaba tal cometido. En 1934, Turing se graduó en la Licenciatura de Matemáticas en la Universidad de Cambridge y, en 1936 publicó el artículo "Los números computables, con una aplicación al Entscheidungsproblem" en el que ya hablaba del concepto de algoritmo y exponía las bases de su máquina de calcular: la Máquina Universal (de Turing). La base de ésta máquina ficticia -no se llegó a diseñar- es la posibilidad de aceptar programas finitos de longitud arbitraria, es decir, limitar y simplificar las posibilidades numéricas, función que no podían realizar las máquinas de calcular del momento. La máquina de Turing podía llevar a cabo todo tipo de operaciones con la misma lógica que el cálculo humano a partir de ciertas bases como tener un número finito de símbolos, resultados o instrucciones La máquina puede

description

alan turing

Transcript of Alan Mathison Turing

Alan Mathison Turing,OBE(Paddington,Londres,23 de juniode1912-Wilmslow,Cheshire,7 de juniode1954), fue unmatemtico,lgico,cientfico de la computacin,criptgrafoyfilsofobritnico.Es considerado uno de los padres de laciencia de la computacinsiendo el precursor de lainformticamoderna. Proporcion una influyente formalizacin de los conceptos dealgoritmoy computacin: lamquina de Turing. Formul su propia versin de la hoy ampliamente aceptadatesis de Church-Turing.Entre otras muchas cosas, tambin contribuy de forma particular e incluso provocativa al enigma de si las mquinas pueden pensar, es decir, a lainteligencia artificial.

Su carrera escolar estuvo marcada, por un lado, por sus aptitudes y su facilidad por las matemticas y, por el otro, por su carcter inconformista que le llevaba a seguir sus propias ideas y apartarse del rgido (e ilgico, segn su parecer) sistema educativo. Con poco ms de quince aos, entr en contacto con el trabajo de Albert Einstein y, adems de entender sus bases, comprendi las crticas de ste a las Leyes de Newton a partir de un texto en el que no se explicitaba tal cometido.

En 1934, Turing se gradu en la Licenciatura de Matemticas en la Universidad de Cambridge y, en 1936 public el artculo "Los nmeros computables, con una aplicacin al Entscheidungsproblem" en el que ya hablaba del concepto de algoritmo y expona las bases de su mquina de calcular: la Mquina Universal (de Turing). La base de sta mquina ficticia -no se lleg a disear- es la posibilidad de aceptar programas finitos de longitud arbitraria, es decir, limitar y simplificar las posibilidades numricas, funcin que no podan realizar las mquinas de calcular del momento. La mquina de Turing poda llevar a cabo todo tipo de operaciones con la misma lgica que el clculo humano a partir de ciertas bases como tener un nmero finito de smbolos, resultados o instrucciones La mquina puede encontrarse en un estado pasivo (finito) o activo (infinito). La puesta en prctica de laMquinaTuringno fue posible hasta sus trabajos posteriores durante la Segunda Guerra mundial.

Durante laSegunda Guerra Mundialfue uno de los principales artfices de los trabajos delBletchley Parkpara descifrar los cdigos secretosnazis. Sus perspicaces observaciones matemticas contribuyeron a romper los cdigos de lamquina Enigmay de loscodificadores de teletipos FISH(mquinas de teletipos codificados que fabricaron conjuntamente Lorenz Electric y Siemens & Halske). Sus estudios del sistema Fish ayudaran al desarrollo posterior de la primeracomputadoraprogramable electrnica digital llamadaColossus, la cual fue diseada porMax Newmany su equipo, y construida en la Estacin de Investigaciones Postales deDollis Hillpor un equipo dirigido porThomas Flowersen1943. Dicha computadora se utiliz para descifrar los cdigos Fish (en concreto las transmisiones de lamquina Lorenz).Para romper los cdigos de lamquina Enigmay permitir a los aliados anticipar los ataques y movimientos militares nazis, Turing dise labombe, una mquina electromecnica llamada as en reconocimiento de la diseada por los polacosbomba kryptologiczna que se utilizaba para eliminar una gran cantidad de claves enigma candidatas. Los trabajos de ruptura de cdigos de Turing han sido secretos hasta losaos 1970; ni siquiera sus amigos ms ntimos llegaron a tener constancia.

A mediados de1948fue nombrado director delegado del laboratorio de computacin de laUniversidad de Mnchestery trabaj en el software de una de las primeras computadoras reales, laManchester Mark I. Durante esta etapa tambin realiz estudios ms abstractos y en su artculo "Mquinas de computacin e inteligencia" (octubre de1950) Turing trat el problema de lainteligencia artificialy propuso un experimento que hoy se conoce comoTest de Turing, con la intencin de definir una prueba estndar por la que una mquina podra catalogarse como "sensible" o "sintiente". En el documento, Turing sugiri que en lugar de construir un programa para simular la mente adulta, sera mejor producir uno ms simple para simular la mente de un nio y luego someterlo a educacin. Una forma invertida de la prueba de Turing se usa ampliamente en Internet, el test CAPTCHA que est diseado para determinar si un usuario es un humano o una computadora. Su test fue significativo, caractersticamente provocativo y una gran contribucin para empezar el debate alrededor de la inteligencia artificial que an hoy contina.Trabaj junto aNorbert Wieneren el desarrollo de laciberntica. Esta rama de estudios se genera a partir de la demanda de sistemas de control que exige el progresivo desarrollo de las tcnicas de produccin a partir delsiglo XX. Lacibernticapretende establecer un sistema de comunicacin entre el hombre y la mquina como premisa fundamental para administrar los sistemas de control. Sus estudios profundizaron en esta relacin estableciendo el concepto de interfaz y cuestionando los lmites de simulacin del razonamiento humano.

Por otro lado, desde 1952, Turing se centr en otra materia: la biologa matemtica. Su trabajo fue recogido en el libro"FundamentosQumicos de la Morfognesis" y estaba enfocado en analizar la existencia de los nmeros de Fibonacci -sucesin de cifras que est presente en la naturaleza de forma estable- en las estructuras vegetales.

La vasta carrera de Turing se vio deteriorada por cuestiones personales. La "condicin" de homosexual del matemtico le llev a ser condenado ya que en ese momento, en Inglaterra, se conceba como un delito. El 8 de junio de 1954, Turing fueencontrado muertopor su personal de limpieza. Un examen post-morten estableci que la causa de la muerte fueenvenenamiento por cianuro. El 24 de diciembre de 2013, la reina Isabel II de Inglaterra promulg el edicto por el que se exoner oficialmente al matemtico, quedando anulados todos los cargos en su contra.1Muchas son las hiptesis acerca de su fallecimiento (muerte involuntaria, asesinato, suicidio) pero lo que s es cierto es que, una vez ms, la historia demostr la incongruencia del ser humano y, con ello, la prdida de un gran profesional que aport conceptos clave para el desarrollo de la ciencia.Desde 1966 se viene entregando de forma anual el premio Alan Turing por la Association for Computing Machinery a una persona en reconocimiento a su contribucin tcnica a la ciencia de la computacin y a la Comunidad. Este premio est considerado comoel mayor honor en el mundo de la computacin, comparable al premio Nobel.