On Thu, 5 Dec 2002, Peter Fairbrother wrote:
> Jim Choate wrote:
>
> > Complete means that we can take any and all -legal- strings within that
> > formalism and assign them -one of only two- truth values; True v False.
>
> Getting much closer.
>
> "Complete" means we can, within the formalism, _prove_ that all universally
> valid statements within the formalism are true.
There is an echo in here....
--
____________________________________________________________________
We don't see things as they are, [EMAIL PROTECTED]
we see them as we are. www.ssz.com
[EMAIL PROTECTED]
Anais Nin www.open-forge.org
--------------------------------------------------------------------
