Path: utzoo!utgpu!utstat!jarvis.csri.toronto.edu!mailrus!tut.cis.ohio-state.edu!rutgers!mit-eddie!uw-beaver!cornell!rochester!pt.cs.cmu.edu!andrew.cmu.edu!ap1i+ From: ap1i+@andrew.cmu.edu (Andrew C. Plotkin) Newsgroups: comp.ai Subject: Re: Natural Paradox Message-ID: Date: 4 Feb 89 18:34:50 GMT References: <1706@tank.uchicago.edu>, <9526@ihlpb.ATT.COM> Organization: Class of '92, Carnegie Mellon, Pittsburgh, PA Lines: 8 In-Reply-To: <9526@ihlpb.ATT.COM> / It would be very interesting, though, to see a statement which / was 'provable' yet not 'provable' that it's 'provable.' How would you know it if you saw it? If you could point at it and say "That statement is provable, but you can't prove it!" how would you know that the first part of the claim is true, without invalidating the second part? --Z