Re: Teorema de Godel e um Enigma

["Dopelgänger" <paleo@xxxxxxxxxxxx>]

> 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 como podemos

> representar por números afirmações (teoremas) sobre números e, a seguir. 
> aplicado de forma engenhosa e correta uma versão válida paradoxo
matemático 
> bastante conhecido.

É, eu li algo sobre isso ontem. Muito interessante mesmo esse negócio de
dar números a afirmações. Esses números são chamados de números Gödelianos,
não são?

> Ocorre que nesta soluçã, em certas regiões, o universo se comporta 
> como se os efeitos ocorressem antes das causas (inversão temporal). os 
> físicos chamam a esta teratia de curvas do tipo tempo fechado: se a causa
é 
> final ( Como diria Aristoteles) abre-se uma enquete para ligar fenomenos 
> biologicos com processos físicos ...

O que é "teratia"?

> Quando voce afirma que o teorema de Godel até parece a fisica está
esposando 
> o ponto de vista de Roger Penrose(ler: O grande, o pequeno e a mente).
Pelo 
> que eu saiba ele foi o primeiro físico a sustentar de forma consistente
que 
> este teorema solapa de vez as pretensões deterministicas e absolutas dos 
> fisicos que ainda pensam como Einstein .

Hum... Não sei se essa impossibilidade determinística torna o mundo mais
legal ou mais chato... Realmente, é filosófico demais... 

Aí vai um enigma relacionado com o Teorema de Gödel, tirado do livro "O
Enigma de Sherazade"

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