En este capítulo os hablamos de uno de los científicos más importantes del siglo XX: el matemático británico Alan Turing, que sentó las bases de la teoría de la computación y fue el primero en imaginar un ordenador moderno. Turing fue un hombre genial con intereses muy variados, y hoy os contamos una pequeña pieza de sus trabajos en teoría de la computación: Turing se dio cuenta rápido, al diseñar sobre el papel el funcionamiento de un computador, que algunos programas informáticos no terminan nunca, o bien porque terminan en un bucle o bien porque la tarea que están realizando es imposible de terminar. Turing se planteó si sería posible predecir a priori si un programa va a terminar o si va a estar corriendo eternamente; ¿se puede diseñar un programa informático que nos diga si otro programa terminará? Os contamos la respuesta que Turing encontró para esta pregunta, tan sencilla como genial. Si os ha gustado este capítulo escuchad el s05e27, en el que contamos cómo una inteligencia artificial, ya en el siglo XXI, logra batir a uno de los mejores jugadores de go, un juego en el que los ordenadores siempre habían sido inferiores. Este programa se emitió originalmente el 27 de diciembre de 2013. Podéis escuchar el resto de audios de La Brújula en su canal de iVoox y en la web de Onda Cero, ondacero.es