Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!utgpu!water!watmath!clyde!rutgers!seismo!mcvax!ukc!hrc63!miduet!misoft!adam
From: adam@misoft.UUCP
Newsgroups: comp.arch
Subject: Re: Processing
Message-ID: <578@gec-mi-at.co.uk>
Date: Wed, 13-May-87 05:54:33 EDT
Article-I.D.: gec-mi-a.578
Posted: Wed May 13 05:54:33 1987
Date-Received: Sat, 16-May-87 14:49:10 EDT
References: <505@sw1e.UUCP> <110@hippo.UUCP> <6123@bu-cs.BU.EDU> <6654@bu-cs.BU.EDU> <113@umich.UUCP> <6872@bu-cs.BU.EDU>
Sender: news@gec-mi-at.co.uk
Reply-To: adam@gec-mi-at.co.uk (Adam Quantrill)
Organization: Marconi Instruments Ltd., St. Albans, UK
Lines: 13

In article <6872@bu-cs.BU.EDU> bzs@bu-cs.BU.EDU (Barry Shein) writes:
>>Undoubtedly you have heard the axiom
>>"Any program will expand to fill all available space."

>Yes, but that is not an axiom, it is a shibboleth. An axiom is
>something you can prove.

No, an axiom is something that you hold to be true, without necessarily
having to prove it. Typically people agree on a set of axioms from which to
work, e.g. opposite angles being equal in Euclidean geometry.
       -Adam.

/* If at first it don't compile, kludge, kludge again.*/