- Thread starter
- #1

For example, logical disjunction (OR) and set-theoretic UNION are isomorphic in this sense:

0 OR 0 = 0.

{0} UNION {0} = {0}.

Similarly, logical AND & set theoretic INTERSECTION are isomorphs:

0 AND 0 = 0.

{0} INTERSECTION {0} = {0}.

Anyway,, has anybody ever heard of this? I'm trying to figure out how the isomorphism comprises arithmetic also, whereby in a computer's hardware,

arithmetic is computed on logic circuitry

and equivalently

logic is computed on arithmetic circuitry.

Thanks.