Date: Sat, 27 Jan 2001 17:23:06 -0600 (CST) From: Mike Meyer <mwm@mired.org> To: Dag-Erling Smorgrav <des@ofug.org> Cc: Salvo Bartolotta <bartequi@inwind.it>, freebsd-chat@FreeBSD.ORG Subject: Re: OT again: Re: hexidecimal literacy Message-ID: <14963.22618.623392.355083@guru.mired.org> In-Reply-To: <xzp1ytor438.fsf@flood.ping.uio.no> References: <14963.8033.752142.149320@guru.mired.org> <20010127.20140200@bartequi.ottodomain.org> <14963.13797.116165.382738@guru.mired.org> <20010127.22394200@bartequi.ottodomain.org> <xzp1ytor438.fsf@flood.ping.uio.no>
next in thread | previous in thread | raw e-mail | index | archive | help
Dag-Erling Smorgrav <des@ofug.org> types: > Salvo Bartolotta <bartequi@inwind.it> writes: > > [intersting stuff about using negative or transendental or radices] > > Us program correctness buffs were taught to define natural integers by > induction, and to define operations on natural integers using a series > of Guttag axioms (that operate on the sequence of constructors that > produced the number rather than on the number itself). All other > representations are mere simulations of this one, and proof of their > correctness is left as an exercise for the reader ;) Where did you find a computer that did calculations in N? Or some form Z/n, even? <mike 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?14963.22618.623392.355083>