English
← Back to timeline

Logic Theorist

Era: Birth of AI · 1950s–1970s

Allen Newell and Herbert Simon developed the "Logic Theorist", an early practical AI program. This program could prove theorems from Principia Mathematica and is widely discussed as one of the earliest AI programs. Newell and Simon received the Turing Award in 1975.

Allen Newell & Herbert Simon

Status
Verified
Content type
fact
Sources reviewed

Sources and support

  1. The Logic Theory Machine: A Complex Information Processing System

    RAND · Source type: institutional-archive

    Contemporary RAND paper documenting the Logic Theory Machine.

    Published: ·Accessed: