Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.2 9/18/84; site watdcsu.UUCP
Path: utzoo!watmath!watnot!watdcsu!dmcanzi
From: dmcanzi@watdcsu.UUCP (David Canzi)
Newsgroups: net.philosophy
Subject: Re: Metaphysics
Message-ID: <1643@watdcsu.UUCP>
Date: Fri, 30-Aug-85 17:13:53 EDT
Article-I.D.: watdcsu.1643
Posted: Fri Aug 30 17:13:53 1985
Date-Received: Sat, 31-Aug-85 09:27:27 EDT
References: <969@sphinx.UChicago.UUCP> <608@mmintl.UUCP> <761@cvl.UUCP> <620@mmintl.UUCP>
Reply-To: dmcanzi@watdcsu.UUCP (David Canzi)
Organization: none.  Entropy: maximum possible.
Lines: 18
Summary: Mathematics reduced to logic in three easy steps.

Frank Adams claims that mathematics cannot be reduced to logic.

Consider a list of all theorems of mathematics, denoted T[1], T[2], etc.
For each T[i], let A[i] be the conjunction of all the axioms that were
assumed in proving T[i].  Then, for all i>=1, "if A[i] then T[i]" is a
tautology.

Mathematics consists entirely of studying logical tautologies, though
the common habit of stating theorems without their axioms makes it
look otherwise.

Now that mathematics is known to contain only tautologies, I suppose
this gives creationists grounds for attacking it.
-- 
David Canzi

This has been a test of the emergency broadcasting sytem.  It was only a test.
Repeat: only a test.  If this had been a real emergency, you would be dead.