---
title: "The Logic Theory Machine: A Complex Information Processing System"
authors:
  - "Allen Newell"
  - "Herbert A. Simon"
year: 1956
venue: "IRE Transactions on Information Theory"
arxiv: null
doi: "10.1109/TIT.1956.1056797"
source: "https://doi.org/10.1109/TIT.1956.1056797"
topics:
  - logic-theorist
  - symbolic-ai
  - newell-simon
  - search
seed_rank: 580
seed_batch: "foundations-greats-2026-08-13"
reviewed: "2026-08-13"
pool: "agents"
relevance_score: 10
lineage: foundations-of-computing
cites:
  - title: "Principia Mathematica, Volume I"
    url: "https://archive.org/details/PrincipiaMathematicaVol1"
    year: 1910
    arxiv: null
    doi: null
  - title: "Empirical Explorations of the Logic Theory Machine"
    url: "https://doi.org/10.1145/1455567.1455605"
    year: 1957
    arxiv: null
    doi: "10.1145/1455567.1455605"
see:
  - "488-principia-mathematica-volume-i"
  - "581-empirical-explorations-of-the-logic-theory-machine"
---

# The Logic Theory Machine: A Complex Information Processing System

## One-sentence takeaway

Logic Theorist searches for *Principia Mathematica* proofs by heuristic substitution and detachment, the first working demonstration of symbolic AI.

## Why it matters here

Broadside agents that search a space of symbolic actions — not just sample tokens — are still in this 1956 IRE-IT lineage.

## Key ideas

- Theorems are list structures; methods (substitution, replacement, detachment, chaining) generate a growing tree of expressions.
- Heuristics prune and order the tree so the machine does not enumerate the whole propositional calculus.
- The intended corpus is Whitehead & Russell's *Principia*, treated as a benchmark of human-hard but formally closed problems.
- Implementation is IPL on JOHNNIAC; the paper is the system description, the 1957 WJCC paper the experimental report.
- Same 1956 IRE Information Theory issue era as Chomsky's "Three Models."

## Caveats

## Links

- DOI: [10.1109/TIT.1956.1056797](https://doi.org/10.1109/TIT.1956.1056797)
- URL: https://doi.org/10.1109/TIT.1956.1056797