Detalhes do Documento

Turing e a normalização

Data: 2012

Identificador Persistente: http://hdl.handle.net/1822/20940

Origem: RepositóriUM - Universidade do Minho

Assunto(s): Normalização; Teoria dos tipos; Cálculo lambda; Normalization; Type theory; Lambda-calculus

Descrição
Em publicação Algumas contribuições de Turing em Lógica dizem respeito à Teoria de Tipos e foram desenvolvidas durante a Segunda Guerra Mundial. Um dos resultados desse trabalho é uma demonstração do teorema da normalização para tipos simples, que permaneceu ignorada durante 40 anos. O resultado de Turing é, portanto, um dos episódios da complicada história da (re)descoberta da normalização. The part of Turing's work in Logic concerning Type Theory was developed during Second World War. He obtained a proof of the normalization theorem for simple types, but his result was ignored for 40 years. Turing's result is therefore one of the episodes in the complex history of (re)discovery of normalization.

Tipo de Documento Artigo
Idioma Português