Turing e a normalização

Autores

  • José Carlos Espírito Santo Universidade do Minho

Resumo

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. O
resultado de Turing é, portanto, um dos episódios da complicada história da
(re)descoberta da normalização.

Downloads

Publicado

2012-10-01

Edição

Secção

Artigos