From owner-freebsd-chat Mon May 27 17:56: 8 2002 Delivered-To: freebsd-chat@freebsd.org Received: from HAL9000.wox.org (as3-4-69.HIP.Berkeley.EDU [136.152.196.55]) by hub.freebsd.org (Postfix) with ESMTP id 2103E37B408; Mon, 27 May 2002 17:56:03 -0700 (PDT) Received: (from das@localhost) by HAL9000.wox.org (8.11.6/8.11.6) id g4S0uEA01251; Mon, 27 May 2002 17:56:14 -0700 (PDT) (envelope-from das) Date: Mon, 27 May 2002 17:56:13 -0700 From: David Schultz To: "Greg 'groggy' Lehey" Cc: Giorgos Keramidas , chat@FreeBSD.ORG Subject: Re: Language in danger: Language loss Message-ID: <20020527175613.A1214@HAL9000.wox.org> Mail-Followup-To: Greg 'groggy' Lehey , Giorgos Keramidas , chat@FreeBSD.ORG References: <3CF17486.F06F3E6A@mindspring.com> <20020527005647.A50028@FreeBSD.org> <3CF1CD8C.C3262181@mindspring.com> <20020527014353.B1951@HAL9000.wox.org> <20020528091410.G29491@wantadilla.lemis.com> <20020528001001.GA20175@hades.hell.gr> <20020528095208.A16567@wantadilla.lemis.com> Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: <20020528095208.A16567@wantadilla.lemis.com>; from grog@FreeBSD.ORG on Tue, May 28, 2002 at 09:52:08AM +0930 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 Thus spake Greg 'groggy' Lehey : > On Tuesday, 28 May 2002 at 3:10:02 +0300, Giorgos Keramidas wrote: > > 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. > > Ah, you mean Gödel, not Godel. Yes. I don't use umlauts often enough outside of TeX to bother to figure out an easy way to enter them on my keyboard. Besides, extended ASCII characters get mangled somewhere on the way from mutt to Emacs, and the last time I tried to debug a misfeature in Emacs it took me two days. Next time I need to refer to the proof, I'll just cite Turing's version of it instead, even though that came a few years later. To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe freebsd-chat" in the body of the message