Path: g2news1.google.com!news1.google.com!proxad.net!news.tele.dk!news.tele.dk!small.news.tele.dk!news.bme.hu!not-for-mail
From: Andras Simon <asi...@math.bme.hu>
Newsgroups: comp.lang.lisp
Subject: Re: help with boolean algebra
Date: 31 Jan 2005 17:44:21 +0100
Organization: Budapest University of Technology and Economics
Lines: 18
Sender: asi...@csusza.math.bme.hu
Message-ID: <vcdvf9dr1ju.fsf@csusza.math.bme.hu>
References: <363ub6F4rb37jU1@individual.net> <pcoy8ebawc2.fsf@shuttle.math.ntnu.no>
NNTP-Posting-Host: csusza.math.bme.hu
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-Trace: analog.eik.bme.hu 1107189862 8724 152.66.83.17 (31 Jan 2005 16:44:22 GMT)
X-Complaints-To: abuse@bme.hu
NNTP-Posting-Date: Mon, 31 Jan 2005 16:44:22 +0000 (UTC)
User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.2

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