O Problema da Terminação de Programas

Detalhes bibliográficos
Autor(a) principal: Mateus, Paulo
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/3875
Resumo: Neste artigo apresenta-se de forma simples e elementar a indecidi- bilidade do Problema da Terminação de Programas apresentado por Turing em 1936 em resposta ao Entscheidungsproblem de Hilbert. O resultado é apresentado no contexto de programas imperativos modernos em arquitec- tura de von Neumann, em vez de máquinas de Turing, para que o leitor que conhece rudimentos de programação se sinta confortável. Discute-se o impacto deste problema no desenvolvimento de aplicações computacionais. Termina-se o artigo utilizando o resultado para construir um número real não computável.
id RCAP_3f7f8b690731b639eb7ad1c9c03b8b9a
oai_identifier_str oai:ojs.revistas.rcaap.pt:article/3875
network_acronym_str RCAP
network_name_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository_id_str 7160
spelling O Problema da Terminação de ProgramasArtigosNeste artigo apresenta-se de forma simples e elementar a indecidi- bilidade do Problema da Terminação de Programas apresentado por Turing em 1936 em resposta ao Entscheidungsproblem de Hilbert. O resultado é apresentado no contexto de programas imperativos modernos em arquitec- tura de von Neumann, em vez de máquinas de Turing, para que o leitor que conhece rudimentos de programação se sinta confortável. Discute-se o impacto deste problema no desenvolvimento de aplicações computacionais. Termina-se o artigo utilizando o resultado para construir um número real não computável.Sociedade Portuguesa de Matemática2012-10-01T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articlehttps://revistas.rcaap.pt/boletimspm/article/view/3875por0872-3672Mateus, Pauloinfo: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:09Zoai:ojs.revistas.rcaap.pt:article/3875Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-19T15:58:41.235492Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse
dc.title.none.fl_str_mv O Problema da Terminação de Programas
title O Problema da Terminação de Programas
spellingShingle O Problema da Terminação de Programas
Mateus, Paulo
Artigos
title_short O Problema da Terminação de Programas
title_full O Problema da Terminação de Programas
title_fullStr O Problema da Terminação de Programas
title_full_unstemmed O Problema da Terminação de Programas
title_sort O Problema da Terminação de Programas
author Mateus, Paulo
author_facet Mateus, Paulo
author_role author
dc.contributor.author.fl_str_mv Mateus, Paulo
dc.subject.por.fl_str_mv Artigos
topic Artigos
description Neste artigo apresenta-se de forma simples e elementar a indecidi- bilidade do Problema da Terminação de Programas apresentado por Turing em 1936 em resposta ao Entscheidungsproblem de Hilbert. O resultado é apresentado no contexto de programas imperativos modernos em arquitec- tura de von Neumann, em vez de máquinas de Turing, para que o leitor que conhece rudimentos de programação se sinta confortável. Discute-se o impacto deste problema no desenvolvimento de aplicações computacionais. Termina-se o artigo utilizando o resultado para construir um número real não computável.
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/3875
url https://revistas.rcaap.pt/boletimspm/article/view/3875
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 Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
repository.mail.fl_str_mv
_version_ 1799130453885583360

Registros relacionados