Skip site navigation (1)Skip section navigation (2)
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>