15 Jan 1955 Jahr - Logic Theorist
Beschreibung:
Herb Simon (L) and Allen Newell (R)
Allen Newell, Herbert A. Simon and J.C. Shaw begin work on Logic Theorist, a program that would eventually prove 38 theorems from Whitehead and Russell’s Principia Mathematica. Logic Theorist introduced several critical concepts to artificial intelligence including heuristics, list processing and ‘reasoning as search.’
Zugefügt zum Band der Zeit:
02 -Innovations in computer science
Datum:
Abbildungen:
![]()
