Todas las entradas por MMelquiades

.

Alan Turing (1912-1954)

Alan Turing

Fue un matemá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”.

Durante la segunda guerra mundial, aportó su enorme granito de arena ayudando a descifrar las máquinas “Enigma” alemanas, y ayudando así a anticipar los ataques enemigos sobre Inglaterra.

Replica de la accion de varias maquinas de Enigma
Replica de la accion de varias maquinas de Enigma.

Tras la guerra diseñó uno de los primeros computadores electrónicos programables digitales 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.

En su memorable estudio “Los números computables”,  publicado en 1936, Turing reformuló los resultados obtenidos por Kurt Gödel en 1931 sobre los límites de la demostrabilidad y la computación, sustituyendo al lenguaje formal universal descrito por Gödel por lo que hoy se conoce como Máquina de Turing, unos dispositivos formales y simples. Turing demostró que dicha máquina era capaz de implementar cualquier problema matemático que pudiera representarse mediante un algoritmo.

Entre 1948 y 1950 en conjunto con un antiguo colega, D.G. Champernowne, empezó a escribir un programa de ajedrez para un ordenador que aún no existía. En 1952 trató de implementarlo en el Ferranti Mark 1, pero a falta de potencia el ordenador no fue capaz de ejecutar el programa.

Estatua de Alan Turing en Whitworth Gardens, Mánchester, Reino Unido.
Estatua de Alan Turing en Whitworth Gardens, Mánchester, Reino Unido.

La Decadencia de Alan

Fue acusado de homosexualidad, un delito en la Inglaterra de la época, y él mismo, se declaró culpable, pues efectivamente lo era. Víctima del sistema, se le dio la opción de recibir un tratamiento hormonal o ir a la cárcel, aceptando la primera, que a través de inyecciones, le crearía malformaciones físicas que le llevarían a encontrar su propia muerte en 1954. Según algunas fuentes con una muerte involuntaria por intoxicación química, y según otras, se envenenó con cianuro inyectado en una manzana, dándole apenas unos  mordiscos antes de perecer.

Dato curioso

Cuenta la leyenda que el logotipo de la marca Apple (una manzana mordida) tiene su origen en el pequeño homenaje a uno de los padres de la informática por su forma de suicidio.

Anuncios

Test de Turing

El test de Turing (o prueba de Turing) es una prueba propuesta por Alan Turing para demostrar la existencia de inteligencia en una máquina. Fue expuesto en 1950 en el artículo “Computing machinery and intelligence” para la revista “Mind”, y sigue siendo uno de los mejores métodos para los defensores de la Inteligencia Artificial. Se fundamenta en la hipótesis positivista de que, si una máquina se comporta en todos los aspectos como inteligente, entonces debe ser inteligente.

Procedimiento

La prueba consiste en un desafío. Se supone un juez situado en una habitación, una máquina y un ser humano en otra. El juez debe descubrir cuál es el ser humano y cuál es la máquina, estándoles a los dos permitido mentir al contestar por escrito las preguntas que el juez les hiciera. La tesis de Turing es que si ambos jugadores eran suficientemente hábiles, el juez no podría distinguir quién era el ser humano y quién la máquina. Todavía ninguna máquina puede pasar este examen en una experiencia con método científico.

Prueba Turing
En 1990 se inició un concurso, el Premio Loebner, una competición de carácter anual entre programas de ordenador que sigue el estándar establecido en la prueba de Turing. Un juez humano se enfrenta a dos pantallas de ordenador, una de ellas que se encuentra bajo el control de un ordenador, y la otra bajo el control de un humano. El juez plantea preguntas a las dos pantallas y recibe respuestas. El premio está dotado con 100.000 dólares estadounidenses para el programa que pase el test, y un premio de consolación para el mejor programa mensual.Prueba Turing

Una de las aplicaciones de la prueba de Turing es el control de “spam”. El “spam” es, por lo general, enviado automáticamente por una máquina. Así la prueba de Turing puede usarse para distinguir si el correo electrónico era enviado por un remitente humano o por una máquina.

La primera y única vez que un juez confundió a una máquina con un humano fue en el año 2010, cuando el robot “Suzette”, de Bruce Wilcox, superó la prueba