Ah, uma coisa: no teorema tipo Rice abaixo, até o domínio de P é
indecidível.
On Tue, Feb 28, 2012 at 9:57 PM, Francisco Antonio Doria <
famado...@gmail.com> wrote:
> Tem uma construção devida a Post (1944) que mostra como da
> indecidibilidade passamos à incompletude. Sempre me pareceu que
> ind
Sim, Dória, independente de sistemas axiomáticos em particular, mas sim de que
sua linguagem seja recursiva, etc, como nas condições do teorema de Gödel.
Assim, concordo que, independentemene se uma formulação particular, o seu
resultado se aplique, mas as condições do Teorema devem ser cumprida
Tem uma construção devida a Post (1944) que mostra como da indecidibilidade
passamos à incompletude. Sempre me pareceu que indecidibilidade é o
fenômeno mais básico, já que a obtemos num ambiente informal, por assim
dizer, e o caminho contrário, a passagem da incompletude à
indecidibilidade, requer
