Date: Sun, 28 Jan 2001 00:02:35 GMT From: Salvo Bartolotta <bartequi@inwind.it> To: Dag-Erling Smorgrav <des@ofug.org> Cc: Mike Meyer <mwm@mired.org>, freebsd-chat@FreeBSD.ORG Subject: Re: OT again: Re: hexidecimal literacy Message-ID: <20010128.23500@bartequi.ottodomain.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
>>>>>>>>>>>>>>>>>> Original Message <<<<<<<<<<<<<<<<<< On 1/28/01, 12:02:35 AM, Dag-Erling Smorgrav <des@ofug.org> wrote=20 regarding Re: OT again: Re: hexidecimal literacy: > 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 ;) BTW, Peano (wait for it) was Italian; Cipolla was Italian, too. I am=20 somewhat Bourbakist -- and I have the dreadful Set Theory in mind. 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?20010128.23500>