From owner-freebsd-chat Sat Jan 27 16: 0:40 2001 Delivered-To: freebsd-chat@freebsd.org Received: from relay4.inwind.it (relay4.inwind.it [212.141.53.75]) by hub.freebsd.org (Postfix) with ESMTP id 2177B37B400 for ; Sat, 27 Jan 2001 16:00:24 -0800 (PST) Received: from bartequi.ottodomain.org (62.98.171.35) by relay4.inwind.it (5.1.056) id 3A6DB81B00102D81; Sun, 28 Jan 2001 00:59:48 +0100 From: Salvo Bartolotta Date: Sun, 28 Jan 2001 00:02:35 GMT Message-ID: <20010128.23500@bartequi.ottodomain.org> Subject: Re: OT again: Re: hexidecimal literacy To: Dag-Erling Smorgrav Cc: Mike Meyer , freebsd-chat@FreeBSD.ORG In-Reply-To: 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> X-Mailer: SuperCalifragilis X-Priority: 3 (Normal) MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Sender: owner-freebsd-chat@FreeBSD.ORG Precedence: bulk X-Loop: FreeBSD.org >>>>>>>>>>>>>>>>>> Original Message <<<<<<<<<<<<<<<<<< On 1/28/01, 12:02:35 AM, Dag-Erling Smorgrav wrote=20 regarding Re: OT again: Re: hexidecimal literacy: > Salvo Bartolotta 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