Perguntas com a marcação «incompleteness»

Sempre pensei vagamente que a resposta à pergunta acima era afirmativa nas seguintes linhas. O teorema da incompletude de Gödel e a indecidibilidade do problema de parada são resultados negativos sobre a decidibilidade e estabelecidos por argumentos diagonais (e na década de 1930); portanto, eles devem, de alguma forma, ser …

76 computability  logic  halting-problem  incompleteness 

Recentemente, eu estava pensando sobre a validade da prova por contradição. Eu li nos últimos dias coisas sobre lógica intuicionista e teoremas de Godel para ver se eles me dariam respostas para minhas perguntas. No momento, ainda tenho perguntas pendentes (talvez relacionadas ao novo material que li) e esperava obter …

19 logic  first-order-logic  propositional-logic  incompleteness 

Eu estava lendo a pergunta Consistência e integridade implicam solidez? e a primeira afirmação diz: Entendo que a solidez implica consistência. O que me deixou bastante intrigado porque pensei que a consistência era uma afirmação mais fraca que a consistência (ou seja, pensei que sistemas consistentes deviam ser sólidos, mas …

12 terminology  logic  first-order-logic  propositional-logic  incompleteness 

Peço desculpas se esta pergunta já foi feita antes, mas não consegui encontrar uma duplicata. Acabei de ler The Annotated Turing e estou um pouco confuso. Pelo que entendi, o problema do Entscheidung é se existe ou não um algoritmo que pode determinar se uma declaração é comprovável. No artigo, …

7 computability  turing-machines  logic  decision-problem  incompleteness