Thread Links Date Links
Thread Prev Thread Next Thread Index Date Prev Date Next Date Index

Re: SUO: RE: Problems in SUMO


On Tue, Jul 01, 2003 at 10:15:14AM -0500, John Sowa wrote:
> Yes, we all know that:

I doubt that.

> >Except consistency in propositional logic is intractable; it isn't even
> >so much as decidable in predicate logic.  You are asking for the
> >impossible, John.
> 
> But it is also true that there are very large numbers of very
> tractable problems,

Then qualify your remarks appropriately.

-chris