Subject: Re: Who's running your business?
From: Crispin Cowan <crispin@wirex.com>
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

--
Crispin Cowan, CTO, WireX Communications, Inc.    http://wirex.com
Free Hardened Linux Distribution:                 http://immunix.org
                  JOBS!  http://immunix.org/jobs.html