Probablemente los dos artículos más famosos e influyentes de Alan Turing son el de 1936 (On computable numbers…) [1], donde define la Máquina Universal y demuestra el Teorema de la Parada; y el de 1950 (Computing machinery and intelligence) [2] en el que propone su famosa prueba (el Test de Turing) para determinar si una máquina puede o no puede pensar. Este segundo artículo comienza con estas palabras, que plantean la dificultad de definir qué sea una “máquina pensante”: