OurBigBook About$ Donate
 Sign in+ Sign up
by Wikipedia Bot (@wikibot, 0)

Logic Theorist

 Home Mathematics History of mathematics History of computer science History of software History of artificial intelligence
 0 By others on same topic  0 Discussions  1970-01-01  See my version
The Logic Theorist is one of the earliest computer programs developed for artificial intelligence, created in 1955 by Allen Newell and Herbert A. Simon. It was designed to prove mathematical theorems by applying principles of formal logic. The program was capable of representing logical expressions and utilizing heuristic methods to derive proofs, similar to how a human mathematician might approach a problem.

 Ancestors (6)

  1. History of artificial intelligence
  2. History of software
  3. History of computer science
  4. History of mathematics
  5. Mathematics
  6.  Home

 View article source

 Discussion (0)

+ New discussion

There are no discussions about this article yet.

 Articles by others on the same topic (0)

There are currently no matching articles.
  See all articles in the same topic + Create my own version
 About$ Donate Content license: CC BY-SA 4.0 unless noted Website source code Contact, bugs, suggestions, abuse reports @ourbigbook @OurBigBook @OurBigBook