Aplicações do processo diagonal
[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 [F1...
| Autor principal: | |
|---|---|
| Formato: | bookPart |
| Idioma: | por |
| Publicado em: |
2019
|
| Assuntos: | |
| Texto completo: | http://hdl.handle.net/1822/70129 |
| País: | Portugal |
| Oai: | oai:repositorium.sdum.uminho.pt:1822/70129 |
| Resumo: | [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.[...] |
|---|