help with boolean algebra - comp.lang.lisp

Message from discussion help with boolean algebra

Andras Simon

View profile

More options Jan 31 2005, 11:44 am

Newsgroups: comp.lang.lisp

From: Andras Simon <asi...@math.bme.hu>

Date: 31 Jan 2005 17:44:21 +0100

Local: Mon, Jan 31 2005 11:44 am

Subject: Re: help with boolean algebra

  Reply to author
  |
  Forward
  | Print
  | View thread
  | Show original
  | Report this message
  | Find messages by this author
  

Harald Hanche-Olsen <han...@math.ntnu.no> writes:
> + Jim Newton <ji...@rdrop.com>:

> | Does anyone know a lot about boolean algebra?

> No. There isn't a whole lot to know about it.

There is, actually. Have a look at Paul Halmos' nice little book, or
the three volume Handbook of Boolean Algebras (ed. J.D. Monk) for a
more complete picture.

The equational theory ("arithmetic") of BAs is not that exciting,
for sure. But see http://www-unix.mcs.anl.gov/~mccune/papers/robbins/
where a (computer aided) solution to a 60 years old problem is
reported.

Andras

Reply to author Forward