From owner-freebsd-chat Sun Jul 23 7: 8:27 2000 Delivered-To: freebsd-chat@freebsd.org Received: from happy.checkpoint.com (happy.checkpoint.com [199.203.156.41]) by hub.freebsd.org (Postfix) with ESMTP id 8F6A137B591 for ; Sun, 23 Jul 2000 07:08:07 -0700 (PDT) (envelope-from mellon@pobox.com) Received: (from mellon@localhost) by happy.checkpoint.com (8.9.3/8.9.3) id RAA79422; Sun, 23 Jul 2000 17:09:35 +0300 (IDT) (envelope-from mellon@pobox.com) Date: Sun, 23 Jul 2000 17:09:35 +0300 From: Anatoly Vorobey To: Alexander Langer Cc: chat@freebsd.org Subject: Re: dc (was: Re: vinum) Message-ID: <20000723170935.A79406@happy.checkpoint.com> References: <8led7u$26h8$1@atlantis.rz.tu-clausthal.de> <200007231205.OAA36838@dorifer.heim3.tu-clausthal.de> <20000723142356.A6164@cichlids.cichlids.com> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.2i In-Reply-To: <20000723142356.A6164@cichlids.cichlids.com>; from alex@big.endian.de on Sun, Jul 23, 2000 at 02:23:56PM +0200 Sender: owner-freebsd-chat@FreeBSD.ORG Precedence: bulk X-Loop: FreeBSD.org On Sun, Jul 23, 2000 at 02:23:56PM +0200, Alexander Langer wrote: > > By the way, I even think that dc is turing-complete. > > I haven't tried to prove it, though. :) > > *g* > > Hmm. What would one do to prove it? One would simulate (or implement, to look at it otherwise) a universal turing machine on it. -- Anatoly Vorobey, mellon@pobox.com http://pobox.com/~mellon/ "Angels can fly because they take themselves lightly" - G.K.Chesterton To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe freebsd-chat" in the body of the message