Meu ponto é que a essência do teorema é uma falha de representação (uma entre
duas, qual vai falhar depende da nomeação das fórmulas, ou seja, da
godelizacao). Indecidibilidade e indefinibilidade da verdade podem ser
consequências dessa falha, mas o resultado é geral e se aplica a teorias
decid
Rodrigo Freire escreveu:
> Legal, vamos ver como o teorema de Godel na versão que mencionei
> (TMR) *se aplica* nesse caso sem aritmetização no sentido usual
> (sequer há um predicado para os números naturais).
Ora, se a teoria é decidível, ninguém disputa que a aritmetização pode
ser dispensada
> Hermógenes e lista,
Olá, Carlos.
> Eu , (pura teimosia?) continuo insistindo que a raiz do problema
> está na definição recursiva que usam as linguagens formais, que
> passam a ser, como Kleene disse, aritméticas.
Bem, eu, particularmente, não vejo nenhum problema com isso.
Você havia observa
1. Seria interessante se alguém colocasse aqui uns liames para os artigos
originais do Gödel na internet, ou traduções confiáveis. Cotejar o que ele
escreveu com o que foi feito por outros depois é um bom método para guiar
mais claramente a discussão.
2. A questão de tratar da incompletude num met
Legal, vamos ver como o teorema de Godel na versão que mencionei (TMR) *se
aplica* nesse caso sem aritmetização no sentido usual (sequer há um predicado
para os números naturais). Depois analiso a falha de representabilidade.
Sim, a teoria dos corpos reais fechados (corpos ordenados tais que to
