First saw LoF in the Whole Earth Catalog.

I got the hardbound edition of LOF and didn't know quite what to do with it! Heard that it was best to study the appendices and notes. OK, but did not apply myself to using and learning it. Got the '79 edition, saw the note on Map Theorem. Wrote to Dutton to be put on list to get proof as soon as published. No book..

Had Chuck Epton from Clark College (Vancouver, Washington 98663) come to Lewis & Clark to demonstrate how he uses the Laws of Form in his Philosophy classes as an alternative to Boolean algebra and propositional calculus. (This was prior to 1882).

I wrote Martin Gardner, he replied 30-Nov-79:

I once planned a column about Spencer-Brown, but Donald Knuth talked me out of it on the grounds that it would give valuable publicity to a charlatan! But I have some paragraphs about Brown and his flawed four-color proof, and his Laws of Form, coming up in my Feb column. Conway once described the book as beautifully written but "content free." I describe it as a "construction of the propositional calculus in eccentric notation." But it has a big cult following, and even a periodical devoted to it.

The newsletter he mentioned flourished at one time... Logical Form, Daniel Rohrlich / 260 Page Street #5 / SF 94102. I have no idea whether it is alive, or Rohrlich can be reached.

The February 1980 Mathematical Games column was devoted to the Four-Color Map Theorem. Gardner described Spencer-Brown as a maverick mathemetician. People at Stanford invited him to present his proof. He did, and went home convinced that his proof was correct. Three months later all (?) agreed his proof was laced with holes.

Knuth, Volume 1, 2.3.3. Other Representations of trees, all diagrams (3) to (8) resemble the Form notation. Several sentences in this section sound Spencer-Brownian.

I also have seen a book explaining how Lewis Carroll constructed his logical puzzles. He used nested boxes, which look like the Karnaugh map reduction used in minimizing boolean functions. (will try to recover the reference someday.)

I have also seen a paper OBJECT/EVENT-ANALYSIS in ACM Sigsoft Engineering Notes Vol.10 No.1 page 52, which has diagrams similar to the diagram on page 67 of the Laws of Form.

I would be interested in any bibliobraphy of references to the Form. (I have not searched for bibliographic references.) Books in Print show no new US or British books by Brown or James Keys (The pen name GSB used for Only Two Can Play This Game.)

A UNI-OPS-sponsored conference scheduled for October 1985 was postponed indefinitely prior to the event by "mutual agreement". (Promotional literature referred to an unidentified topologist who thinks that a proof will soon appear for the Four-Color Map Theorem, to a computer program Simplifier, to a special "Lifestyles" lecture, and to...? The hotel reservation form talked about the Japanese accomodations, suggested refraining from caffiene after 10 am, and eating nothing but lean meat!) See original text. Organized by

Walter Zintz, Executive Director UNI-OPS Post Office Box 27097 Concord CA 94527

The simplifier program (described in Dr. Dobb's Journal, Spring, 1985) was written by Steve Heuman in BASIC.

Excerpts from his hand-written letter:

He also sent his bibliography containing 28 references to works based on or critical of the Form. I will get those here soon, perhaps with his permission."Simplifier" was written by... the crux is that propositional calculus is a toy domain. Any serious system must address predicate calculus.

I'm in touch with about two dozen people also tracking SB. No one that I know of is actually applying Laws of Form.

- forget the map theorem.
- Italo Calvino's Cosmicomics is a fictional account of the first sign.
- The topologist (referred to above) is Lou Kauffman at U of Chicago. His work is the best I know of.

More recently, I spotted Bricken at the University of Washington, where is is doing VR research. A biblio of him appears at Beilfeld. Wherein they say:

Dr. Bricken is an internationally recognized expert in architectures for virtual environments and is the inventor of Boundary Mathematics, a formalism which uses void-based and spatial techniques to simplify computation.Just search for his name using your favorite search engine.

- This two-dimensional notation is more powerful than linear grammars?
- Expressions are trees. Form is tree notation and axioms and operations are defined on the Form.
- Does the form really have quadratic logic equations and imaginary (complex) values? (My ignorance shows here!)
- It seems like the Form and the Laws are suitable for the Prolog and Bertrand class of logic programming languages and the new data flow architectures.
- What about the the undecidability of the Halting Problem? Does that have anything to do with the limitations of the Form?
- What is the Lifestyles stuff about?

Interesting People and Ideas | John Miller's Home Page

Created By: john@timehaven•us

Updated: 16-Jan-96

Expires: 31-Dec-99