Encontrado 1 documento, a visualizar página 1 de 1

Turing e a 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.