From owner-freebsd-chat Sat Jan 27 15: 3: 4 2001 Delivered-To: freebsd-chat@freebsd.org Received: from flood.ping.uio.no (flood.ping.uio.no [129.240.78.31]) by hub.freebsd.org (Postfix) with ESMTP id 9B3B937B400 for ; Sat, 27 Jan 2001 15:02:45 -0800 (PST) Received: (from des@localhost) by flood.ping.uio.no (8.9.3/8.9.3) id AAA03001; Sun, 28 Jan 2001 00:02:36 +0100 (CET) (envelope-from des@ofug.org) X-URL: http://www.ofug.org/~des/ X-Disclaimer: The views expressed in this message do not necessarily coincide with those of any organisation or company with which I am or have been affiliated. To: Salvo Bartolotta Cc: Mike Meyer , freebsd-chat@FreeBSD.ORG Subject: Re: OT again: Re: hexidecimal literacy 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> From: Dag-Erling Smorgrav Date: 28 Jan 2001 00:02:35 +0100 In-Reply-To: Salvo Bartolotta's message of "Sat, 27 Jan 2001 22:39:42 GMT" Message-ID: Lines: 13 User-Agent: Gnus/5.0802 (Gnus v5.8.2) Emacs/20.4 MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Sender: owner-freebsd-chat@FreeBSD.ORG Precedence: bulk X-Loop: FreeBSD.org 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 ;) 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