dave at pawfal.org
Tue Oct 19 07:23:48 BST 2010
In short, you'd like some proof that proving things is provable.
On Tue, 2010-10-19 at 01:15 -0500, Philip Galanter wrote:
> I had trouble with that too. Maybe he meant that you can prove some things are either provable or falsifiable without being able to do either?
> On Oct 18, 2010, at 8:23 PM, Paul Harrison wrote:
> > On Mon, Oct 18, 2010 at 10:08 PM, Tom Betts <tom at nullpointer.co.uk> wrote:
> >> ... You may be able to prove something is provable, without actually being able to prove it directly. ...
> > I'm having a bit of trouble imagining how this might occur.
> > --
> > Paul Harrison
> > Victorian Bioinformatics Consortium / Monash University
> > pfh at logarithmic.net
> > jabber pfh at jabber.org.au
> > http://www.logarithmic.net/pfh/
> > --
> > 'No, no, no. Generative spam is more markov-based.'
> > To unsubscribe from eu-gene visit
> > http://www.generative.net/mailman/listinfo/eu-gene
> 'No, no, no. Generative spam is more markov-based.'
> To unsubscribe from eu-gene visit
More information about the eu-gene