Re: [obm-l] conjecturas - 2

[Johann Peter Gustav Lejeune Dirichlet <peterdirichlet2003@xxxxxxxxxxxx>]

--- "Nicolau C. Saldanha" <nicolau@mat.puc-rio.br>
escreveu:

> On Sat, Sep 24, 2005 at 06:03:33PM +0000, Johann
> Peter Gustav Lejeune Dirichlet wrote:
> > Mas pode-se dizer que todo teorema um dia foi uma
> > conjectura (ou não?).
> 
> Eu diria que não. Muitos teoremas apareceram como
> completas surpresas,
> algo totalmente diferente do esperado. Um exemplo
> óbvio é o teorema
> da incompletude do Gödel. Neste sentido, tais
> teoremas nunca foram conjecturas.

Bem, de certo modo você está certo. Tem até um exemplo
um poucpo menos clássico de uma série de potências que
daria o valor da K-ésima casa binária de pi, sem
precisar percorrer todas as anteriores...


__________________________________________________
Faça ligações para outros computadores com o novo Yahoo! Messenger 
http://br.beta.messenger.yahoo.com/ 
=========================================================================
Instruções para entrar na lista, sair da lista e usar a lista em
http://www.mat.puc-rio.br/~nicolau/olimp/obm-l.html
=========================================================================