Date: 28 Jan 2001 00:02:35 +0100 From: Dag-Erling Smorgrav <des@ofug.org> To: Salvo Bartolotta <bartequi@inwind.it> Cc: Mike Meyer <mwm@mired.org>, freebsd-chat@FreeBSD.ORG Subject: Re: OT again: Re: hexidecimal literacy Message-ID: <xzp1ytor438.fsf@flood.ping.uio.no> In-Reply-To: Salvo Bartolotta's message of "Sat, 27 Jan 2001 22:39:42 GMT" 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>
next in thread | previous in thread | raw e-mail | index | archive | help
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 ;) DES -- Dag-Erling Smorgrav - des@ofug.org 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?xzp1ytor438.fsf>