Subject: Re: Who's running your business?
From: Ben Laurie <ben@algroup.co.uk>
Date: Sun, 04 Jun 2000 13:54:22 +0100

Crispin Cowan wrote:
> 
> Ben Laurie wrote:
> 
> > Crispin Cowan wrote:
> > >    * valid:  if all assumptions are true, then the conclusion is true
> > >    * sound:  valid, + all assumptions are true
> > > Pure math is about valid proofs.  Applied math, physics, and computer
> > > science are about sound proofs.  Theological disputes involve undecidable
> > > assumptions, so they can never be sound, but on occasion they are valid.
> >
> > All assumptions are undecidable - that's why you assume them!
> 
> In math, you are only concerned with the validity of your rationalle.
> 
> In science, you spend a bunch of effort experimentally validating your
> assumptions.  Science is the method for verifying assumptions about the world.

All together now: oh, no, it isn't!

But regardless, even if they have been "verified" by science, they are
still undecided, just currently not known to be wrong.

Cheers,

Ben.

--
http://www.apache-ssl.org/ben.html

Coming to ApacheCon Europe 2000? http://apachecon.com/