[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Teorema de Godel

To: obm-l@xxxxxxxxxxxxxx, ciencialist@xxxxxxxxxxxxxxxxxx
Subject: Teorema de Godel
From: Carlos Maçaranduba <soh_lamento@xxxxxxxxxxxx>
Date: Wed, 2 Jan 2002 18:43:16 -0300 (ART)
In-Reply-To: <F245wrHZ4lMxxnE0ivR00004fcf@hotmail.com>
Reply-To: obm-l@xxxxxxxxxxxxxx
Sender: owner-obm-l@xxxxxxxxxxxxxxxxxxxxx

neste endereço há uma demonstração do teorema de godel
que aparentemente é simples de se entender.Alguem
poderia ver a parte que ele usa o predicado
PROVA(x,g,g) e explicar-me pq ele faz isso????? 


http://www.pr.gov.br/celepar/celepar/batebyte/edicoes/2000/bb95/teorema.htm

_______________________________________________________________________________________________
Yahoo! GeoCities
Tenha seu lugar na Web. Construa hoje mesmo sua home page no Yahoo! GeoCities. É fácil e grátis!
http://br.geocities.yahoo.com/

Prev by Date: Re: Home Page da OBM-l
Next by Date: Re: Teorema de Godel
Prev by thread: Re: ???
Next by thread: Re: Teorema de Godel
Index(es):
- Date
- Thread