Codebreaker (Beavan – Stacey, 2014)

Documental sobre la apasionante figura del matemático Alan Turing (1912-1954), el padre de la era digital. La culminación de su trabajo en los años 30 fue la publicación del conocido artículo  «Los números computables, con una aplicación al Entscheidungsproblem«, publicado en 1936 en la revista Mind. En él replicaba los resultados obtenidos por Gödel sobre los límites de la demostrabilidad usando la primera computadora: la Máquina Universal de Turing, tan sencilla como puedes ver arriba. Dispone de un sensor que detecta unos o ceros y, siguiendo un programa de instrucciones, avanza o retrocede en la cinta. Como todo puede codificarse en lenguaje … Continúa leyendo Codebreaker (Beavan – Stacey, 2014)