Re: Teorema de Godel e um Enigma

[Paulo Santa Rita <p_ssr@xxxxxxxxxxx>]

Ólá Dopel !

Teratia = Quimera = Monstro Mitológico ; são sinônimos de utopia, coisa 
fantástica e dificilmente factível

Poderia falar muito sobre a dúvida expressa no final, todavia, acredito que 
assim estaria fugindo do tema principal desta lista que é discutir problemas 
de matemática ...

Alias, se me permitem uma sugestão, porque não se inaugura um Chat com o 
pessoal daqui ?

Não vi alguem falar sobre algum problema topológico simples e acessível ... 
aqui vai um:

************************************
*                     *                        *
*           1        *          2            *
*                     *                        *
************************************
*         *                      *            *
*    3   *         4           *    5      *
*         *                      *            *
************************************

É possivel se traçar um caminho "de fora" de maneira que cada fronteira seja 
cruzada uma única vez ? É possível generalizar a resposta ?

Gostei do seu enigma e vou pensar nele .

Abraços

Paulo Santa Rita


>From: "Dopelgänger" <paleo@jpnet.com.br>
>Reply-To: obm-rj@mat.puc-rio.br
>To: <obm-rj@mat.puc-rio.br>
>Subject: Re: Teorema de Godel e um Enigma
>Date: Tue, 4 May 1999 03:06:23 -0300
>
> > 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>
>
>


______________________________________________________
Get Your Private, Free Email at http://www.hotmail.com