Autor(es):
Espírito Santo, José Carlos; Universidade do Minho 
Data: 2014
Origem: Boletim da Sociedade Portuguesa de Matemática
Detalhes do Documento
Turing e a normalização
Descriçã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.
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.
Tipo de Documento
Artigo
| Financiadores do RCAAP | |||||||
|
|
|
|
|
|
||