Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!utgpu!water!watnot!watmath!clyde!cbatt!ihnp4!invest!wheaton!stucki
From: stucki@wheaton.UUCP
Newsgroups: comp.misc,sci.math,sci.math.symbolic,talk.philosophy.misc
Subject: G. Spenser-Brown: `Laws Of Form', and the four-color map theorem
Message-ID: <424@wheaton.UUCP>
Date: Thu, 26-Feb-87 06:06:25 EST
Article-I.D.: wheaton.424
Posted: Thu Feb 26 06:06:25 1987
Date-Received: Sat, 28-Feb-87 07:58:29 EST
Organization: Wheaton College, Wheaton IL
Lines: 10
Keywords: boolean algebra and arithmetic, symbolic logic, Appel & Haken
Xref: utgpu comp.misc:291 sci.math:635 sci.math.symbolic:49 talk.philosophy.misc:478


I have this book by G. Spenser-Brown called 'The Laws of Form' which claims
that it is the means by which the four-color map theorem was first proved in
a sufficient manner.  I'm looking for confirmation or refutation of this
claim.  Spenser-Brown claims that the proof by K. Appel and W. Haken (1976)
had a weak proposition which he has rectified in his proof.  Also if anyone
has opinions as to the quality of the work in this book or its validity I
would like to know.

mail can be sent to inhp4!wheaton!stucki