Subj : Re: Polymorphism sucks [Was: Paradigms which way to go?]
To   : comp.programming,comp.object
From : Dmitry A. Kazakov
Date : Tue Aug 09 2005 07:00 pm

[Nothing to do with polymorphism, but...]

On Mon, 08 Aug 2005 18:58:01 -0500, Chris Sonnack wrote:

>> I don't know if "necessary" is the case, because there are things such
>> as fuzzy logic.
> 
> Do you think fuzzy logic is implemented without binary?

Implemented is a wrong word here. Logic isn't implemented.

Fuzzy logic is a continuation of the crisp logic. But it has sufficiently
different properties. For example, the law of excluded middle is wrong in
fuzzy logic: A V~A does not hold.

> Regardless, some problems--and I had a couple specific ones in mind when
> I wrote the above--are/were only solvable by grokking the 1s and 0s.

Important question is whether the number of 1s and 0s is finite. To make a
jump to fuzzy logic you'll need continuum. And that is much more than the
set of integer numbers.

>> However, we still use boolean algebra for boolean expressions I have
>> to agree. But still this is because we find boolean alg useful,
>> NOT because our chips may be based on it. (4-state chips are under
>> research, I would note).
> 
> Multi-state logic is built on binary logic.  Learn basic information
> theory.  It ALL can be broken down to 1s and 0s.  Every, um, BIT of it.

No, this is wrong. The propositions of a multi-state, fuzzy or
intuitionistic logics aren't ones of the crisp logic. Though it is possible
to build some meta system based on crisp logic to analyse the propositions
of the "object" [non-crisp] logic. Probably this what you meant.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de

.