Author(s):
Espírito Santo, José Carlos; Universidade do Minho 
Date: 2014
Origin: Boletim da Sociedade Portuguesa de Matemática
Document details
Turing e a normalização
Description
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 norma-lização para tipos simples, que permaneceu ignorada durante 40 anos. Oresultado de Turing é, portanto, um dos episódios da complicada história da(re)descoberta da normalizaçã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 norma-lização para tipos simples, que permaneceu ignorada durante 40 anos. Oresultado de Turing é, portanto, um dos episódios da complicada história da(re)descoberta da normalização.
Document Type
Article
| Financiadores do RCAAP | |||||||
|
|
|
|
|
|
||