Re: virus: Defining an Axiom
Fri, 7 Feb 1997 11:08:57 -0600 (CST)

On Mon, 3 Feb 1997, Corey A. Cook wrote:

> This may be a few days late, but we have a question
> from the stands:
> Just what is an axiom?
> I thought that an axiom was "a statement that cannot be
> verified without incorperating the axiom into the proof."
> Which brings up another question:
> Suppose that someone proves an axiom. What is it then?

Well..Sometimes, there are several different ways of axiomatically
constructing a system. In this case, you *have* to be able to prove the
axioms of definition A, not duplicated in definition B, from the axioms of
definition B.

I was savaged on an exam question because of the above technicality.

/ Towards the conversion of data into information....
/ Kenneth Boyd