 |
|
Chowlett
|
 |
of Candle'Bre
May 1999 time: 05:19
|
|
Not exactly Civ related - but we have Zen quotes, which, given the Mathematical provenence of the original database probably came from Godel, Escher Bach. So I thought I should suggest:
To every w-consistent recursive class K of formulae there correspond recursive class-strings r, such that neither vGenr nor Neg(vGenr) belongs to Flg(K) (where v is the free variable of r).
-- Kurt Gödel, Proposition VI, "On Formally Undecidable Propositions in Principia Mathematica and Related Systems I"
%
Last edited by Chowlett on 03-08-2002 at 15:38
|
|
|  |
All times are GMT. The time now is 05:19. Apolyton Time is 00:19. |
top of page
|
| archivepost |
|
Forum Rules:
You may not post new threads
You may not post replies
You may not post attachments
You may not edit your posts
|
HTML code is ON
vB code is ON
Smilies are ON
[IMG] code is ON
|
|
|
|
|
|