Subject: Re: Who's running your business?
From: Crispin Cowan <>
Date: Sat, 03 Jun 2000 22:22:42 -0700

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.


Crispin Cowan, CTO, WireX Communications, Inc.
Free Hardened Linux Distribution: