The Logic Theorist

Before the summer ended, Newell and Simon arrived with one of the earliest working AI programs.

They called it the Logic Theorist. Its job was to prove automatically.

They gave it , a famous book that lays out mathematics' logical foundations, theorem by theorem.

The Logic Theorist attempted the first 52 theorems in one section and proved 38 of them.

>did you know?

# did you know?

:close

For one theorem, the program found a proof shorter than the one in the book. Newell and Simon later submitted a paper about that result with the Logic Theorist listed as a coauthor. The journal did not publish it.