Turing e a normalização

Detalhes bibliográficos
Autor(a) principal: Espírito Santo, José Carlos
Data de Publicação: 2012
Tipo de documento: Artigo
Idioma: por
Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Texto Completo: https://revistas.rcaap.pt/boletimspm/article/view/3871
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.
id RCAP_cea476d82c4461b29c5eb0b3165e5c4b
oai_identifier_str oai:ojs.revistas.rcaap.pt:article/3871
network_acronym_str RCAP
network_name_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository_id_str
spelling Turing e a normalizaçãoArtigosAlgumas 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.Sociedade Portuguesa de Matemática2012-10-01T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articlehttps://revistas.rcaap.pt/boletimspm/article/view/3871por0872-3672Espírito Santo, José Carlosinfo:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2022-09-22T14:12:09ZPortal AgregadorONG
dc.title.none.fl_str_mv Turing e a normalização
title Turing e a normalização
spellingShingle Turing e a normalização
Espírito Santo, José Carlos
Artigos
title_short Turing e a normalização
title_full Turing e a normalização
title_fullStr Turing e a normalização
title_full_unstemmed Turing e a normalização
title_sort Turing e a normalização
author Espírito Santo, José Carlos
author_facet Espírito Santo, José Carlos
author_role author
dc.contributor.author.fl_str_mv Espírito Santo, José Carlos
dc.subject.por.fl_str_mv Artigos
topic Artigos
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. O resultado de Turing é, portanto, um dos episódios da complicada história da (re)descoberta da normalização.
publishDate 2012
dc.date.none.fl_str_mv 2012-10-01T00:00:00Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://revistas.rcaap.pt/boletimspm/article/view/3871
url https://revistas.rcaap.pt/boletimspm/article/view/3871
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv 0872-3672
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.publisher.none.fl_str_mv Sociedade Portuguesa de Matemática
publisher.none.fl_str_mv Sociedade Portuguesa de Matemática
dc.source.none.fl_str_mv reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron:RCAAP
instname_str Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron_str RCAAP
institution RCAAP
reponame_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
collection Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1777301492719419392

Registros relacionados