Newsgroups: comp.ai.philosophy,talk.philosophy.misc,talk.religion.newage,alt.atheism,alt.pagan,alt.consciousness,alt.paranormal.channeling,alt.consciousness.mysticism
Path: cantaloupe.srv.cs.cmu.edu!das-news2.harvard.edu!news2.near.net!MathWorks.Com!news.duke.edu!eff!wariat.org!malgudi.oar.net!utnetw.utoledo.edu!uoft02.utoledo.edu!GSMITH
From: gsmith@uoft02.utoledo.edu (GENE WARD SMITH)
Subject: Re: rereRe: The end of god
Message-ID: <Cxrz3H.MBz@utnetw.utoledo.edu>
Sender: news@utnetw.utoledo.edu (News Manager)
Reply-To: gsmith@uoft02.utoledo.edu
Organization: University Of Toledo
References: <36vt2m$g6m@scapa.cs.ualberta.ca> <371epj$8gn@engnews2.Eng.Sun.COM> <1994Oct12.133530.10573@cc.ic.ac.uk> <visser.781973314@galaxy.ph.tn.tudelft.nl> <CxpMF7.E6J@twisto.eng.hou.compaq.com>,<37p1h3$dbo@scapa.cs.ualberta.ca>
Date: Sun, 16 Oct 1994 16:57:16 GMT
Lines: 14

In article <37p1h3$dbo@scapa.cs.ualberta.ca>, 
kevin@swanlake.cs.ualberta.ca (Kevin Wiebe) writes:

>Example: Mathematics can prove it is incomplete, itself.  We know of
>a polynomial 'D' which is of degree eight, with integer coefficients, 
>and that has eighty variables that has no solutions; but it is impossible
>to prove this within mathematics!  

This is a mathematical proof, and hence the proof is within mathematics.
"Mathematics" is not the name of a particular formal theory, not even
ZFC.  
--
     Gene Ward Smith/Brahms Gang/University of Toledo 
                gsmith@uoft02.utoledo.edu
