Allen Newell
Construiu os primeiros programas que raciocinavam — e passou o resto da vida defendendo que uma teoria sobre o pensamento precisa ser executável.
Pesquisador americano na RAND e depois na Carnegie Mellon, onde ajudou a fundar o departamento de ciência da computação. Junto com Herbert Simon e Cliff Shaw, escreveu o Logic Theorist em 1956 e depois o General Problem Solver, que separava a descrição de um problema da estratégia para resolvê-lo — uma divisão que se tornou o padrão básico da IA simbólica.
Newell defendia a tese de que a cognição deve ser modelada como um sistema físico de símbolos, e que uma teoria só vale se puder ser implementada e testada. Seu último projeto, a arquitetura cognitiva Soar, foi uma tentativa de teoria unificada do pensamento, em vez de mais um programa especializado. Prêmio Turing em 1975, dividido com Simon.