Epílogo

PEDRO MESEGUER

JUAN JOSÉ MORENO NAVARRO

Este blog sobre Alan Turing comenzó a finales de junio de 2012 cuando se cumplían 100 años del nacimiento del genial matemático británico que puso los fundamentos teóricos de la informática tal y como la conocemos actualmente. Y se cierra ahora, un año después, tras 41 entradas en donde 60 autores no solo han glosado la figura de Turing y sus hallazgos, sino también han hablado de informática –actual y pasada– de investigación y en definitiva de ciencia, esa actividad en donde muchos seres humanos se afanan por arrancar los secretos de cómo están organizadas las cosas.

 

El Problema de la Parada de los Programas y de las Personas

PABLO NOGUEIRA

Alan Turing demostró en su famoso teorema de indecibilidad que no es posible escribir un programa de ordenador que nos diga si otro programa cualquiera se queda o no se queda colgado. Este es el famoso «problema de la parada» para el que no hay programa posible.

Este teorema tiene consecuencias importantes para la programación de ordenadores. En esta entrada voy a intentar explicar el teorema sin usar matemáticas. Además, para no aburrir a los que ya se lo saben, voy a explicar que el mismo resultado se aplica a las personas, y que ese famoso debate acerca de que la indecibilidad es lo que distingue a los programas de las personas no tiene fundamento (más abajo hablo un poco más de esto y doy algunas referencias).

El problema que Turing deseaba estudiar era el de si dada una función matemática sobre números se puede escribir un programa que la calcule. Para ello Turing tuvo que definir qué es un programa y así inventó sus famosas «máquinas». Nosotros asumiremos sin más que los programas son esos prodigios que instalamos y utilizamos.

John tiene razón

PABLO NOGUEIRA

El Test de Turing y la Habitación China de John Searle han sido comentados en entradas anteriores de este blog. Esta entrada trata de por qué el argumento de la Habitación China de Searle es una presentación insatisfactoria de una seria objeción al Test de Turing, y por extensión a la Teoría Computacional de la Mente.

Recordamos brevemente el argumento de Searle:

Tenemos un operador humano sin ningún conocimiento del lenguaje chino dentro de una habitación. El operador recibe a través de una ventanilla de entrada hojas de papel escritas en chino. El operador sigue al dedillo un libro de instrucciones que le indica el texto que debe escribir a partir del texto recibido. El operador desliza la hoja de papel con el texto resultante por la ventanilla de salida, y se repite el proceso.

Alan Turing: El descifrado de la máquina Enigma

JOSEP M. MIRET

Muchos han sido los artículos que se han publicado con motivo del centenario del nacimiento de Alan Turing (1912-1954), así como los actos que se han organizado. En este blog también se han abordado distintos aspectos de sus aportaciones y se han destacado sus ingeniosas ideas. Uno de sus logros más extraordinarios ha sido sin duda alguna su labor como criptoanalista. Durante la segunda guerra mundial, su colaboración con el servicio secreto británico condujo a descifrar los códigos producidos por la máquina criptográfica del ejército alemán denominada Enigma. En este artículo nos vamos a centrar pues en los procesos de cifrado y descifrado de esta máquina.

La máquina Enigma

Después de la primera guerra mundial, el inventor alemán Arthur Scherbius y su amigo Richard Ritter fundaron una empresa de ingeniería y crearon la máquina Enigma con la finalidad de venderla no solo al ejército sino también a muchas empresas del país. La máquina iba en una caja de dimensiones 34cm x 28cm x 15cm y pesaba unos 12 kg.

Robots y seres humanos: Los vínculos se estrechan

CARME TORRAS

En el marco del IEEE Conference on Robotics and Automation (ICRA'13) celebrado del 6 al 10 de mayo en Karlsruhe tuvieron lugar tres foros abiertos al público general, dedicados a la industria, la ciudadanía y la ciencia, respectivamente. Este último, organizado por los Profs. Yoshihiko Nakamura y Giulio Sandini, estuvo centrado en la confluencia de la Robótica con las Humanidades.

En la presentación del evento, el Prof. Sandini hizo una breve referencia a la celebración del año Turing y al test tratado previamente en diversas entradas de este blog: 8-11-2012, 6-12-2012, 13-12-2012, 24-1-2013. Habida cuenta del contexto,  planteó una adaptación del test de Turing a la robótica, en donde se trataría de decidir si dentro de un robot humanoide hay una persona manejándolo o no. Véase la foto adjunta, en cuyo pie se lee “Sistemas que pueden pasar el test de Turing basado en comportamientos” (en lugar de basado en textos escritos, como en el test original), y la mujer piensa “Hay un hombre dentro!”. Ello va en la línea de las investigaciones recientes que resaltan que la verdadera inteligencia ha de ser corpórea, encarnada (“embodied”).