Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/70129| Título: | Aplicações do processo diagonal |
| Autor(es): | Espírito Santo, José |
| Data: | 19-Dez-2019 |
| Editora: | UMinho Editora |
| Citação: | 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 |
| Resumo(s): | [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.[...] |
| Tipo: | Capítulo de livro |
| URI: | https://hdl.handle.net/1822/70129 |
| ISBN: | 978-989-8974-02-0 |
| e-ISBN: | 978-989-8974-03-7 |
| Arbitragem científica: | yes |
| Acesso: | Acesso aberto |
| Aparece nas coleções: | UMinho Editora - Capítulos de livros |
Ficheiros deste registo:
| Ficheiro | Descrição | Tamanho | Formato | |
|---|---|---|---|---|
| 3. Aplicações do processo diagonal.pdf | 491,57 kB | Adobe PDF | Ver/Abrir |
Este trabalho está licenciado sob uma Licença Creative Commons
