Skip site navigation (1)Skip section navigation (2)
Date:      Tue, 28 May 2002 03:10:02 +0300
From:      Giorgos Keramidas <keramida@FreeBSD.ORG>
To:        "Greg 'groggy' Lehey" <grog@FreeBSD.ORG>
Cc:        chat@FreeBSD.ORG
Subject:   Re: Language in danger: Language loss
Message-ID:  <20020528001001.GA20175@hades.hell.gr>
In-Reply-To: <20020528091410.G29491@wantadilla.lemis.com>
References:  <Pine.BSF.4.21.0205261919370.49175-100000@m-net.arbornet.org> <3CF17486.F06F3E6A@mindspring.com> <20020527005647.A50028@FreeBSD.org> <3CF1CD8C.C3262181@mindspring.com> <20020527014353.B1951@HAL9000.wox.org> <20020528091410.G29491@wantadilla.lemis.com>

next in thread | previous in thread | raw e-mail | index | archive | help
On 2002-05-28 09:14, Greg 'groggy' Lehey wrote:
> On Monday, 27 May 2002 at  1:43:53 -0700, David Schultz wrote:
> >> Feel free to provide the counter example originally requested.  It
> >> would be amusing to see someone find a way to discredit Goedel's
> >> Theorem on a "-chat" mailing list.
> >
> > Eh?  What's wrong with Godel's proof for Godel's Theorem?
> 
> Who's Godel?

Instead of trying to duplicate the wealth of information that the
Internet has already, here's a few references:

Kurt Goedel was a mathematician.  His one most famous work, the
"conjecture of incompleteness" is described in the pages below:

	http://www.cs.auckland.ac.nz/CDMTCS/chaitin/georgia.html
	http://www.ltcom.lv/~podnieks/gt6.html

and a lot of others.  You can find a lot of references, by searching
for "goedel conjecture" in Google.  The spelling (`Goedel' instead of
`Godel') was what was wrong if you did search already :-)

- Giorgos


To Unsubscribe: send mail to majordomo@FreeBSD.org
with "unsubscribe freebsd-chat" in the body of the message




Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?20020528001001.GA20175>