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>