Alan Turing

Alan Mathison Turing, OBE (Paddington, Londres, 23 de junio de 1912 Wilmslow, Cheshire, 7 de junio de 1954), fue unmatemtico, lgico, cientfico de la computacin, criptgrafo y filsofo britnico. Es considerado uno de los padres de la ciencia de la computacin siendo el precursor de la informtica moderna. Proporcion una influyente formalizacin de los conceptos de algoritmo y computacin: la mquina de Turing. Formul su propia versin de la hoy ampliamente aceptada Tesis de Church-Turing. Durante la Segunda Guerra Mundial, trabaj en descifrar los cdigos nazis, particularmente los de la mquina Enigma; durante un tiempo fue el director de la seccin Naval Enigma del Bletchley Park. Tras la guerra dise uno de los primeros computadores electrnicos programables digitales en el Laboratorio Nacional de Fsica del Reino Unido y poco tiempo despus construy otra de las primeras mquinas en la Universidad de Mnchester. Entre otras muchas cosas, tambin contribuy de forma particular e incluso provocativa al enigma de si las mquinas pueden pensar, es decir a la Inteligencia Artificial. La carrera de Turing termin sbitamente luego de ser procesado por ser homosexual. Turing se suicid dos aos despus de su condena. 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 Turing fue concebido en Chatrapur (India britnica). Su padre Julius Mathison Turing era miembro del Cuerpo de funcionarios britnicos en la India. Julius y su esposa Ethel queran que su hijo Alan naciera en el Reino Unido y regresaron a Paddington, donde finalmente naci. Su infancia Durante su infancia sus padres viajaban constantemente entre el Reino Unido y la India ya que su padre an deba cubrir su puesto de funcionario en la India, por lo que sus dos hijos eran cuidados por amigos ingleses de sus padres para evitar poner en peligro su salud en la colonia britnica. Turing dio muestras ya desde una edad muy temprana del ingenio que ms tarde mostrara prominentemente. Se cuenta que aprendi a leer por s solo en tres semanas y que desde el principio mostr un gran inters por los nmeros y los rompecabezas. Sus padres lo inscribieron en el colegio St. Michael cuando tena seis aos. Su profesora se percat enseguida de la genialidad de Turing, tal como ocurri a sus profesores posteriores. Estudios En 1926, con catorce aos, ingres en el internado de Sherborne en Dorset. Su primer da de clase coincidi con una huelga general en Inglaterra, pero su determinacin por asistir a clase en su primer da era tan grande que recorri en solitario con su bicicleta las ms de 60 millas que separaban Southampton de su escuela, pasando la noche en una posada. Tal hazaa fue recogida en la prensa local. Las esperanzas y las ambiciones de Turing en la escuela fueron plantadas por la estrecha 2 amistad que desarroll con un compaero un poco mayor, Christopher Morcom, que fue el 3 primer amor de Turing. Morcom muri repentinamente el 13 de febrero de 1930, slo unas pocas semanas despus de su ltima temporada en Sherborne, debido a complicaciones de la tuberculosis bovina, contrada tras beber la leche de alguna vaca infectada. La fe religiosa de Turing se hizo pedazos, volvindose ateo. Adopt la conviccin de que todos los fenmenos,

incluyendo el funcionamiento del cerebro humano, deben ser materialistas. Sin embargo sigui 5 creyendo en la supervivencia del espritu despus de la muerte. La inclinacin natural de Turing hacia las matemticas y la ciencia no le forj el respeto de sus profesores de Sherborne, cuyo concepto de educacin haca mayor nfasis en los clsicos. Pero a pesar de ello, Turing continu mostrando una singular habilidad para los estudios que realmente le gustaban, llegando a resolver problemas muy avanzados (para su edad) en 1927 sin ni siquiera haber estudiado clculoelemental. En 1928, con diecisis aos, Turing descubri los trabajos de Albert Einstein y, no slo pudo comprenderlos, sino que adems infiri las crticas de Einstein a las Leyes de Newton de la lectura de un texto en el que no estaban explcitas. Durante su edad escolar, Turing fue un joven cuyo optimismo y ambiciones se vieron acrecentados debido en gran parte a su intensa unin con su amigo Christopher Morcom, cuya muerte, an joven, afectara a Turing profundamente.

La Universidad y sus estudios sobre computabilidad

Debido a su falta de voluntad para esforzarse con la misma intensidad en el estudio de los clsicos que en el de la ciencia y las matemticas, Turing suspendi sus exmenes finales varias veces y tuvo que ingresar en la escuela universitaria que eligi en segundo lugar, King's College, Universidad de Cambridge, en vez de en la que era su primera eleccin, Trinity. Recibi las enseanzas de Godfrey Harold Hardy, un respetado matemtico que ocup la ctedra Sadleirian en Cambridge y que posteriormente fue responsable de un centro de estudios e investigaciones matemticas de 1931 a 1934. En 1935 Turing fue nombrado profesor del King's College

La Mquina de Turing En su memorable estudio "Los nmeros computables, con una aplicacin al Entscheidungsproblem" (publicado en 1936), Turing reformul los resultados obtenidos por Kurt Gdelen 1931 sobre los lmites de la demostrabilidad y la computacin, sustituyendo al lenguaje formal universal descrito por Gdel por lo que hoy se conoce como Mquina de Turing, unos dispositivos formales y simples. Turing demostr que dicha mquina era capaz de implementar cualquier problema matemtico que pudiera representarse mediante un algoritmo. Las mquinas de Turing siguen siendo el objeto central de estudio en la teora de la computacin. Lleg a probar que no haba ninguna solucin para el problema de decisin, Entscheidungsproblem, demostrando primero que el problema de la parada para las mquinas de Turing es irresoluble: no es posible decidir algortmicamente si una mquina de Turing dada llegar a pararse o no. Aunque su demostracin se public despus de la demostracin equivalente de Alonzo Church respecto a su clculo lambda, el estudio de Turing es mucho ms accesible e intuitivo. Tambin fue pionero con su concepto de "Mquina Universal (de Turing)", con la tesis de que dicha mquina podra realizar las mismas tareas que cualquier otro tipo de mquina. Su estudio tambin introduce el concepto de nmeros definibles.

Representacin de un nmero entero

Un nmero entero es un nmero completo que puede ser negativo. Por lo tanto, el nmero se debe codificar de manera que se pueda distinguir si es positivo o negativo y de forma que siga las reglas de adicin. El truco consiste en utilizar un mtodo denominado complemento doble. Un nmero entero o cero se representar en base binaria (base 2) como un nmero natural, con la excepcin de que el bit de mayor peso (aquel que se encuentra ms a la izquierda) representa el signo ms o menos. Por lo tanto, para un nmero entero o cero, este bit se debe establecer en 0 (lo que corresponde al signo ms, as como 1 es el signo menos). De este modo, si un nmero natural se codifica utilizando 4 bits, el mayor nmero posible ser 0111 (o 7 en base decimal). Generalmente, el mayor nmero entero posible codificado utilizando n bits ser2 -1. Un nmero entero negativo se codifica utilizando complementos dobles.
n-1

El principio de los complementos dobles: Se elige un nmero negativo. Se toma su valor absoluto (su equivalente positivo) Se representa en base binaria utilizando n-1 bits Cada bit se cambia con su complemento (es decir, los ceros se reemplazan con unos y viceversa) Se suma 1 Ntese que al sumar un nmero y sus complementos dobles es resultado es 0 Veamos esto con un ejemplo:

Queremos codificar el valor 5 utilizando 8 bits. Para hacer esto: escriba el 5 en sistema binario 00000101 cmbielo por su complemento 11111010 sume 1: 11111011 la representacin binaria en 8 bits de 5 es 11111011

Comentarios: El bit de mayor peso es 1, de manera que es, de hecho, un nmero negativo. Si sumamos 5 y -5 (00000101 y 11111011) la suma da 0 (con el remanente 1).