Date: Sun, 23 Jul 2000 17:09:35 +0300 From: Anatoly Vorobey <mellon@pobox.com> To: Alexander Langer <alex@big.endian.de> Cc: chat@freebsd.org Subject: Re: dc (was: Re: vinum) Message-ID: <20000723170935.A79406@happy.checkpoint.com> In-Reply-To: <20000723142356.A6164@cichlids.cichlids.com>; from alex@big.endian.de on Sun, Jul 23, 2000 at 02:23:56PM %2B0200 References: <8led7u$26h8$1@atlantis.rz.tu-clausthal.de> <200007231205.OAA36838@dorifer.heim3.tu-clausthal.de> <20000723142356.A6164@cichlids.cichlids.com>
next in thread | previous in thread | raw e-mail | index | archive | help
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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?20000723170935.A79406>