From owner-freebsd-chat Mon May 27 16:44:20 2002 Delivered-To: freebsd-chat@freebsd.org Received: from wantadilla.lemis.com (wantadilla.lemis.com [192.109.197.80]) by hub.freebsd.org (Postfix) with ESMTP id 622A937B406 for ; Mon, 27 May 2002 16:44:14 -0700 (PDT) Received: by wantadilla.lemis.com (Postfix, from userid 1004) id 8F3C88113A; Tue, 28 May 2002 09:14:10 +0930 (CST) Date: Tue, 28 May 2002 09:14:10 +0930 From: Greg 'groggy' Lehey To: David Schultz Cc: Terry Lambert , George Reid , pgreen , Rahul Siddharthan , chat@FreeBSD.ORG Subject: Re: Language in danger: Language loss Message-ID: <20020528091410.G29491@wantadilla.lemis.com> References: <3CF17486.F06F3E6A@mindspring.com> <20020527005647.A50028@FreeBSD.org> <3CF1CD8C.C3262181@mindspring.com> <20020527014353.B1951@HAL9000.wox.org> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20020527014353.B1951@HAL9000.wox.org> User-Agent: Mutt/1.3.23i Organization: The FreeBSD Project Phone: +61-8-8388-8286 Fax: +61-8-8388-8725 Mobile: +61-418-838-708 WWW-Home-Page: http://www.FreeBSD.org/ X-PGP-Fingerprint: 9A1B 8202 BCCE B846 F92F 09AC 22E6 F290 507A 4223 Sender: owner-freebsd-chat@FreeBSD.ORG Precedence: bulk List-ID: List-Archive: (Web Archive) List-Help: (List Instructions) List-Subscribe: List-Unsubscribe: X-Loop: FreeBSD.org On Monday, 27 May 2002 at 1:43:53 -0700, David Schultz wrote: > Thus spake Terry Lambert : >> If you could provide a proof for Goedel's Theorem, it wouldn't >> be "Goedel's Theorem", it would be "Goedel's Law". >> >> 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? Greg -- See complete headers for address and phone numbers To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe freebsd-chat" in the body of the message