Reimplementan el código del Logic Theorist, pionero de la IA de los años 50

El código fuente del Logic Theorist, considerado uno de los primeros programas de inteligencia artificial de la historia, ha sido reimplementado y publicado en GitHub. El programa fue desarrollado por Allen Newell, J.C. Shaw y Herbert A. Simon a finales de 1955, y generó su primera demostración automática de teoremas en agosto de 1956, ejecutándose en la computadora JOHNNIAC. El Logic Theorest estaba diseñado para demostrar teoremas de lógica proposicional utilizando el sistema de Principia Mathematica. Originalmente escrito en IPL-I (un pseudocódigo), fue posteriormente implementado en IPL-II y luego traducido a IPL-V. El código fuente fue publicado por primera vez en 1956, aunque contenía errores tipográficos que impedían su ejecución directa. Esta nueva reimplementación incluye el intérprete para la máquina abstracta IPL-I, archivos fuente corregidos y los programas auxiliares necesarios para ejecutar las demostraciones lógicas.