Archivo de la etiqueta: problema de parada

El problema de parada y los castores laboriosos

2012 fue el Alan Turing Year, año en el que se conmemora el nacimiento de Alan Turing, un matemático fundamental dentro de las ciencias de la computación.

En la Facultad de Ingeniería de la Universidad de Deusto realizamos dos acciones para celebrarlo: 1) el cambio de nombre de una de nuestras salas más “nobles” a “Sala Turing” y 2) una sesión de charlas cortas (10-15 mins) relacionadas con la figura de Alan Turing

Mi contribución fue una charla de introducción al problema de parada y a los “castores laboriosos” (tema del que ya hemos hablado por aquí) durante esa sesión de homenaje a Alan Turing.

Espero que os guste y os anime a echar un vistazo al resto de charlas cortas que se dieron ese día (muy interesantes), así como al resto de material que se generó en la Red en torno al papel fundamental de Alan Turing en el siglo XX.

PD: debería haber empezado la entrada con una disculpa por el silencio, pero creo que es muy cansino, así que considérese esta postdata como tal O;)

En los límites de lo calculable: Máquinas de Turing y castores laboriosos

Pocas criaturas en la naturaleza poseen esa constancia y tesón propios de los castores, trabajadores incansables que, ramita a ramita, construyen sus presas. Fue sin duda esa conducta la que indujo a Tibor Rado a bautizar con el nombre de “juego del castor laborioso” a cierto problema que plantea la Máquina de Turing.
Sigue leyendo