Re: Teorema de Godel e um Enigma

["Nicolau C. Saldanha" <nicolau@xxxxxxxxxxxxxx>]

On Tue, 4 May 1999, Dopelgänger wrote:

> > 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.

Mas isto é o que eu falei! SE o cavaleiro puder falar esta frase,
ela satisfaz às condições pedidas. Minha dúvida não é esta e sim
se um cavaleiro *poderia* fazer esta afirmação. E parece duvidoso,
pois porque não poderia o lógiko usar a frase para concluir que
o indivíduo não é um caviloso, e portanto só pode ser um cavaleiro?
Nós afinal deduzimos isto sem nenhuma dificuldade; porque seria
diferente para o lógiko?

[]s, N.
http://www.mat.puc-rio.br/~nicolau