[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Teorema de Godel e um Enigma



> Uma tentativa de solução que me ocorre é:
> "Você [o logiko] jamais poderá demonstrar que eu sou um cavaleiro!".
> 
> Um caviloso jamais faria esta afirmação, pois ela seria verdadeira.
> Um cavaleiro talvez pudesse fazer esta afirmação, mas só se o logiko
> de fato não pudesse demonstrar que ele era um cavaleiro.
> Mas a dúvida é: será que cavaleiro poderia mesmo fazer esta afirmação?

E por que não poderia?
Se o lógiko pudesse provar, usando apenas a frase como informação, geraria
um paradoxo...
Então ele não pode provar.