1956

Allen Newell & Herbert A. Simon

Logic Theorist

Built the Logic Theorist (with Cliff Shaw), an early program that proved mathematical theorems. Shared the ACM Turing Award 1975 for basic contributions to AI, the psychology of human cognition, and list processing.

The people

• Allen Newell
• Herbert A. Simon

Filed under

• Symbolic AI & agents

Key work

Logic Theorist ↗ (opens in new tab)

RAND Corporation, 1956

Recognition

ACM A.M. Turing Award 1975 ↗ (opens in new tab)

Sources

• Logic Theorist ↗ (opens in new tab)
• ACM A.M. Turing Award 1975 ↗ (opens in new tab)
• Herbert A. Simon — Turing Award page ↗ (opens in new tab)
• Allen Newell on Wikipedia ↗ (opens in new tab)
• Herbert A. Simon on Wikipedia ↗ (opens in new tab)