From: Thomas Buckner (firstname.lastname@example.org)
Date: Fri May 28 2004 - 00:51:55 MDT
--- Marc Geddes <email@example.com> wrote:
> --- Ben Goertzel <firstname.lastname@example.org> wrote: >
> > If you're not familiar with it you should check
> > the work of G.
> > Spencer-Brown, in particular "Laws of Form" and
> > literature that
> > others such as Louis Kauffmann have built around
> > Spencer-Brown
> > presents a novel formulation of Boolean logic in
> > terms of a single
> > logical operator which he calls the "mark" or the
> > distinction operator.
> > Thus the basis of Boolean logic is simply
> > * the distinction between figure and ground
> > * the possibility of relating two distinctions in
> > two different ways
> > If a distinction is written (), then the two ways
> > are basically (()) and
> > ()()
> > His basic logic rules are
> > (()) =
> > ()()=()
> > From these come all of logic, etc. etc.
> No, I hadn't heard of Spencer-Brown. Very
> interesting. Oh shit, it looks like someone beat me
> to my 'great idea' by 30 years or more :-( Oh well.
I've been meaning to read Spencer-Brown forever.
Better make a note.
Do you Yahoo!?
Friends. Fun. Try the all-new Yahoo! Messenger.
This archive was generated by hypermail 2.1.5 : Wed Jul 17 2013 - 04:00:47 MDT