Allen Newell

Increase Allen Lapham / Public domain

Allen Newell

Cognitive science

  • Developed the Logic Theorist, one of the first AI programs.
  • Co-authored influential books on human problem-solving and memory.
  • Worked extensively on theories of human and computer decision-making.

Allen Newell was an American researcher who made significant contributions to computer science and cognitive psychology, focusing on the intersection of human and machine decision-making.

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
  • The Summer That Named a Revolution
    The Dawn of AI Research
    The Summer That Named a Revolution

    A small workshop at Dartmouth College coined the term 'artificial intelligence' and launched an entire field of research.

    1956