Cliff Shaw

Southwestern Normal School / No restrictions

Cliff Shaw

Co-author of the Logic Theorist

  • Developed the first artificial intelligence program, the Logic Theorist
  • Contributed to the development of General Problem Solver
  • Worked at the RAND Corporation as a systems programmer

Cliff Shaw was an influential systems programmer and AI pioneer who contributed significantly to the early development of artificial intelligence, including the creation of the Logic Theorist and work on the General Problem Solver.

Milestones

  • The Program That Proved Theorems Before AI Had a Name
    The Theoretical Foundations Research
    The Program That Proved Theorems Before AI Had a Name

    Months before the Dartmouth Conference coined 'artificial intelligence,' the Logic Theorist became the first program to autonomously prove mathematical theorems — and one of its proofs was more elegant than the human original.

    1955