From newshub.ccs.yorku.ca!ists!helios.physics.utoronto.ca!news-server.csri.toronto.edu!rutgers!sun-barr!male.EBay.Sun.COM!exodus.Eng.Sun.COM!orfeo.Eng.Sun.COM!silber Tue Mar 24 09:58:04 EST 1992
Article 4667 of comp.ai.philosophy:
Path: newshub.ccs.yorku.ca!ists!helios.physics.utoronto.ca!news-server.csri.toronto.edu!rutgers!sun-barr!male.EBay.Sun.COM!exodus.Eng.Sun.COM!orfeo.Eng.Sun.COM!silber
>From: silber@orfeo.Eng.Sun.COM (Eric Silber)
Newsgroups: comp.ai.philosophy
Subject: a demonstration is not a proof
Message-ID: <kss8ccINNn4c@exodus.Eng.Sun.COM>
Date: 23 Mar 92 18:21:00 GMT
Organization: Sun Microsystems, Mt. View, Ca.
Lines: 7
NNTP-Posting-Host: orfeo

Although one may demonstrate a proof of a mathematical truth,
one cannot prove it.  Although one may demonstrate by some principle
that one cannot think without the mediation of weltgeist, one
cannot prove it.  This follows from the very finiteness of the thinking agent.
Now, however, if in order to save proof, you vitiate the
finiteness of the thinking agent, then you evaporate into 
agent-free weltgeist and proof is still not saved.


