Re: Where is everybody?
From: Bob Badour <bbadour_at_pei.sympatico.ca>
Date: Tue, 17 Apr 2007 02:01:54 GMT
Message-ID: <mUVUh.25281$PV3.256195_at_ursa-nb00s0.nbnet.nb.ca>
>
> One suggestion to bring this board back to life is posting weekly
> reviews or just references to some great articles. I assume a week is
> reasonable timeframe for everyone to find something interesting.
>
> Here we go: Eric Hehner "From Boolean Algebra to Unified Algebra".
>
> One of the main article themes is the importance of notation. In
> particular on p.7 in the section on Symmetry and Duality Eric argues
> that /\ and \/ symbols are well chosen, while & and || are not!
>
> Next, implication is a partial order relation -- couldn't agree more.
>
> Then, there is a controversial theory of bunches. A set stripped of
> the boxing (err, packaging) models a nondeterminism, wow!
Date: Tue, 17 Apr 2007 02:01:54 GMT
Message-ID: <mUVUh.25281$PV3.256195_at_ursa-nb00s0.nbnet.nb.ca>
Aloha Kakuikanu wrote:
> On Apr 9, 10:16 am, "Marshall" <marshall.spi..._at_gmail.com> wrote:
>
>>Hey, where is everybody? Nobody's posting. What's up with that?
>
> One suggestion to bring this board back to life is posting weekly
> reviews or just references to some great articles. I assume a week is
> reasonable timeframe for everyone to find something interesting.
>
> Here we go: Eric Hehner "From Boolean Algebra to Unified Algebra".
>
> One of the main article themes is the importance of notation. In
> particular on p.7 in the section on Symmetry and Duality Eric argues
> that /\ and \/ symbols are well chosen, while & and || are not!
>
> Next, implication is a partial order relation -- couldn't agree more.
>
> Then, there is a controversial theory of bunches. A set stripped of
> the boxing (err, packaging) models a nondeterminism, wow!
Thanks Aloha, that is a very interesting and thought-provoking paper. Received on Tue Apr 17 2007 - 04:01:54 CEST