Dana Scott

Dana Scott, nascido em 1932, é um lógico e cientista da computação americano cuja pesquisa estabeleceu os fundamentos matemáticos para as linguagens de programação. O seu trabalho em semântica formal e teoria dos autômatos transformou a forma como as máquinas interpretam instruções complexas, unindo a lógica matemática abstrata e a aplicação prática da programação de computadores dentro do panorama da engenharia do século XX.

Pesquisa inicial e teoria dos autômatos

Scott começou o seu percurso académico na Universidade da Califórnia, Berkeley, e na Universidade de Princeton, onde obteve o seu Doutoramento em Filosofia. Durante um estágio na IBM em 1957, colaborou com Michael O. Rabin. A sua pesquisa conjunta introduziu o conceito de autômatos finitos não determinísticos, um avanço na teoria dos autômatos que lhes valeu o Prémio Turing em 1976.

Contribuições para a lógica e a teoria dos conjuntos

Durante o seu mandato na Universidade de Chicago e mais tarde em Berkeley, Scott concentrou-se na lógica matemática e na teoria dos conjuntos. Provou a incompatibilidade do axioma de construtibilidade com cardinais mensuráveis. A sua publicação de 1967 sobre a independência da hipótese do contínuo utilizou modelos de valor booleano, pesquisa que resultou no Prémio Leroy P. Steele de 1972.

Semântica denotacional e teoria dos domínios

Enquanto professor na Universidade de Oxford de 1972 a 1981, Scott colaborou com Christopher Strachey para desenvolver a semântica denotacional. Formulou a teoria dos domínios para fornecer uma base matemática para funções recursivas e construções de controlo. Este trabalho, que estendeu os paradigmas semânticos de Tarski às linguagens de programação, foi ainda reconhecido através do Prémio Rolf Schock de 1997.

Nomeações académicas e afiliações

Scott ocupou cargos de ensino em numerosas instituições, incluindo a Universidade de Stanford, a Universidade de Amesterdão, a Universidade de Princeton e a Universidade Johannes Kepler de Linz. Concluiu a sua carreira académica formal na Universidade Carnegie Mellon, onde serviu de 1981 a 2003. Mantém afiliações em organizações prestigiadas como a Academia Britânica, a Academia Nacional de Ciências e a Sociedade Matemática Americana.

Factos rápidos

- Nascimento: 1932, Berkeley - Educação: Universidade da Califórnia, Berkeley; Universidade de Princeton - Campo principal: Lógica matemática e ciência da computação - Vencedor do Prémio Turing: 1976 - Teoria notável: Teoria dos domínios - Colaborador chave: Michael O. Rabin - Prémio notável: Prémio Rolf Schock (1997) - Carreira académica: Universidade Carnegie Mellon (1981-2003)

Perguntas dos leitores

### Pelo que é Dana Scott mais conhecido?

É mais conhecido por criar a teoria dos domínios e estabelecer os fundamentos matemáticos para a semântica das linguagens de programação, trabalhando frequentemente em colaboração com Christopher Strachey.

### Por que pesquisa Scott recebeu o Prémio Turing?

Recebeu o Prémio Turing de 1976 juntamente com Michael O. Rabin pelo seu artigo conjunto de 1959 que introduziu o conceito de autômatos finitos não determinísticos.