Summer 1956: the workshop whose 1955 proposal coined “artificial intelligence.” Meet the four proposers, then run the Logic Theorist on Principia Mathematica.
Loading portal...
The chalkboard · tap a proposer
"...every aspect of learning or any other feature of intelligence can in principle be so precisely described that a machine can be made to simulate it."
John McCarthy, Dartmouth. Coined "artificial intelligence" for the proposal; designed LISP two years later.
Quote: the 1955 Dartmouth proposal.
Logic Theorist vs Principia Mathematica, ch. 2
0 / 52 proved
Newell, Simon and Shaw's program proved 38 of the first 52 theorems by searching for proofs the way a person might, with rules of thumb. It was the star exhibit of 1956.