Alan Turing criador da máquina de Turing que é um modelo abstrato de um computador, é um instrumento teórico que manipula simbolos em uma fita, apesar de sua simplicidade a máquina de Turing pode ser adaptada para simular a lógica de qualquer algoritmo de computador e é muito útil para explicar as funções da CPU dentro do computador.
John McCarthy e sua colaboração com lógica matemática para o desenvolvimento da I.A, ele criou a linguagem de programação Lisp, sua linguagem foi pioneira em várias áreas da computação incluindo árvore de estruturas de dados, gerenciamento de armazenagem automática, tipagem dinâmica, e o compilador de auto-hospedagem.
Ken Shoemake usou os quaternos para trabalhar animação gráfica de rotação, seus estudos ajudaram a suavizar as animações, gerando assim animações mais fluidas e naturais, eliminando os problemas anteriores.
http://en.wikipedia.org/wiki/Turing_machine
http://en.wikipedia.org/wiki/John_McCarthy_(computer_scientist)