Re: [obm-l] conjecturas - 2

["Nicolau C. Saldanha" <nicolau@xxxxxxxxxxxxxx>]

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.

[]s, N.
=========================================================================
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
=========================================================================