> Me parece que o teorema da incompletude de Kleene prescinde de uma
> codificação.
Bem lembrado, Doria. O teorema de incompletabilidade de Gödel
realmente segue como corolário do resultado de Forma Normal de Kleene,
que não apenas prescinde de auto-referência mas que pode ser
demonstrado sem co
Vê o teorema de Kleene, de novo.
Sent from my iPhone
On 19 Dec 2019, at 08:36, Joao Marcos wrote:
>> Me parece que o teorema da incompletude de Kleene prescinde de uma
>> codificação.
>
> Bem lembrado, Doria. O teorema de incompletabilidade de Gödel
> realmente segue como corolário do resul
