Re: Teorema de Godel e um Enigma

[Carlos Nehab <nehab@xxxxxxxxxxxx>]

Oi, gente,

E agora Nicolau?  Vai continuar a postergar as discuss�es sobre Veracidade
e Falsidade que h� algum tempo eu quis colocar no ar?

� apenas uma provoca��o, pois este sim, � um assunto que sempre me fascinou
e � de extrema import�ncia para que a galeraque reside neste "site" discuta
um pouco a relatividade das coisas... 

Parab�ns pela "for�a", Dopelganger e Bruno Woltzenlogel Paleo

Abra�os, Nehab

>> Ol� Dopelganger !
>How! Ol�...
>> A prova parece bastante complexa e existem muitos bons livros de
>divulga��o sobre o tema: � um racioc�nio engenhoso no qual Godel 
mostra.....
...
...

>Vamos definir que um l�giko ser� correto se tudo que ele for capaz de
>provar for verdadeiro; Ele jamais provar� nada que seja falso.
>Certo dia, um l�giko correto visitou a ilha dos cavaleiros e dos
>cavilosos, em que cada habitante � ou um cavaleiro ou um caviloso, e os
>cavaleiros s� fazem afirma��es verdadeiras e os cavilosos s� fazem
>afirma��es falasa. O l�giko encontra um habitante que lhe faz uma
>declara��o da qual decorre que ele pr�prio s� pode ser um cavaleiro, mas o
>l�giko n�o tem como prov�-lo!
>Que afirma��o teria este efeito?
>
>*Nota do Autor: Este enigma tem uma rela��o pr�xima com o famoso resultado
>conhecido como teorema de G�del, de modo que discutiremos em seguida �
>solu��o.
>--
>
>At� mais...
>
><Bruno Woltzenlogel Paleo>