Turing e a normalização

• Author(s): Espírito Santo, José
• Date: 2012
• Persistent ID: http://hdl.handle.net/1822/20940
• Origin: RepositóriUM - Universidade do Minho
• Subject(s): Normalização; Teoria dos tipos; Cálculo lambda; Normalization; Type theory; Lambda-calculus
• Document Type: Article
• Language: Portuguese

Description

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.