Who created the Logic Theorist program in 1956?
Allen Newell, Herbert A. Simon, and Cliff Shaw wrote the Logic Theorist computer program in 1956.
Questions about Logic Theorist
Short answers, pulled from the story.
When did Allen Newell have his epiphany about programmable units creating complex behavior?
Allen Newell experienced a scientific epiphany during an afternoon in 1954 while listening to Oliver Selfridge give a presentation on pattern matching at RAND.
How many theorems from Principia Mathematica did Logic Theorist successfully prove?
Logic Theorist succeeded in proving 38 of the first 52 theorems found in chapter two of Principia Mathematica.
What programming language was developed to implement Logic Theorist on computers?
The researchers developed a programming language called IPL to implement Logic Theorist on computers using symbolic list processing.
Why did reviewers reject the publication of Logic Theorist's proof for theorem 2.85?
Reviewers rejected the finding because they argued that a new proof of an elementary mathematical theorem was not notable enough and overlooked that one author was a computer program.