Aplicações do processo diagonal

Utilize este identificador para referenciar este registo: https://hdl.handle.net/1822/70129

Registo completo

Campo DC	Valor	Idioma
dc.contributor.author	Espírito Santo, José	por
dc.date.accessioned	2021-02-08T16:07:20Z	-
dc.date.available	2021-02-08T16:07:20Z	-
dc.date.issued	2019-12-19	-
dc.identifier.citation	Espírito Santo, José (2019). Aplicações do processo diagonal. In Espírito Santo, J. (ed.), Alan Turing: cientista universal (p. 85-99). UMinho Editora. doi: https://doi.org/10.21814/uminho.ed.5	-
dc.identifier.isbn	978-989-8974-02-0	-
dc.identifier.uri	https://hdl.handle.net/1822/70129	-
dc.description.abstract	[Extrato] No seu artigo de 1936 [T36], Turing deu uma resposta negativa ao Entscheidungproblem, o Problema da Decisão colocado por Hilbert e Ackermann, o qual perguntava, em termos modernos, se existia um algoritmo para decidir se uma dada fórmula da Lógica de 1ª Ordem é ou não é um teorema (ver [F19]). Este importante resultado para a Lógica assentava noutro resultado, a resposta negativa ao Problema da Paragem, não menos importante para disciplinas ainda não inventadas à altura: a teoria e a prática da programação de computadores.[...]	por
dc.language.iso	por	por
dc.publisher	UMinho Editora	por
dc.rights	openAccess	por
dc.rights.uri	http://creativecommons.org/licenses/by/4.0/	por
dc.title	Aplicações do processo diagonal	por
dc.type	bookPart	por
dc.peerreviewed	yes	por
oaire.citationStartPage	85	por
oaire.citationEndPage	99	por
dc.identifier.eisbn	978-989-8974-03-7	-
dc.subject.fos	Ciências Naturais::Matemáticas	por
sdum.bookTitle	Alan Turing: cientista universal	por
oaire.version	VoR	por
Aparece nas coleções:	UMinho Editora - Capítulos de livros