Recreation of the 1956 IPL-I version of the Logic Theorist theorem prover
Summary
A GitHub repository recreation of the 1956 IPL-I version of the Logic Theory Machine, documenting the first published Logic Theorist and providing IPL-I source, interpreter, and tooling. The project situates Newell, Shaw, and Simon’s work within open-source practice, listing related files and references to Principia Mathematica and archival sources. It serves as a historical AI exploration with runnable components and accompanying documentation.