Imaginar, soñar, diseñar, crear, construir, demostrar, parecen acciones que difícilmente se combinan y cristalizan en una misma persona. Pues bien, en menos de una centuria, algo así como un imperceptible segundo en nuestras vidas, se extiende la presencia de un sinfín de máquinas inteligentes, que hoy en día nos rodean, son parte de nuestro trabajo, comunicación, registros, en fin presentes en casi todas las cosas y tareas a que echamos mano. Alguien, algunos, visionaron estos objetos, tal como lo hicieron Julio Verne cuando predijo los helicópteros, o cuando Isaac Asimov avizoró las videoconferencias, muchos otros escritores han especulado con el futuro cercano, sin embargo, ninguno de ellos fue más allá de esa idea, visión. En cambio,  hay un personaje en la historia reciente que representa todos estos verbos, su obra hasta el día de hoy es señera de los avances más sofisticados de nuestra tecnología inteligente, supercomputadores, redes, la web, superinteligencia son algunos de las consecuencias de su trabajo, estamos hablando del Lógico matemático inglés Alan Turing, quien a mediados del siglo XX, concibe la idea de como mecánicamente se pueden realizar los cálculos más fundamentales en matemática, crea, diseña, demuestra que la Máquina de Turing es el mejor modelo de máquina que permite representar la matemática.  Es bueno señalar, de que estamos hablando que ideas aparentemente oscuras, son el corazón de todos y cada uno de las herramientas inteligentes que hoy disponemos, testimonio de que el trabajo científico, matemático muchas veces es de difícil comprensión, pero que de mediar la lucidez, acertividad de los argumentos, estos pueden llegar a transformar la vida como la conocemos!