Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP Path: utzoo!watmath!clyde!burl!ulysses!mhuxl!ihnp4!inuxc!pur-ee!uiucdcs!uicsl!segre From: segre@uicsl.UUCP Newsgroups: net.ai Subject: Re: id AA21202; Sat, 11 Feb 84 11:32:36 - (nf) Message-ID: <5627@uiucdcs.UUCP> Date: Tue, 14-Feb-84 22:49:39 EST Article-I.D.: uiucdcs.5627 Posted: Tue Feb 14 22:49:39 1984 Date-Received: Fri, 17-Feb-84 04:06:23 EST Lines: 11 #R:cornell:-618600:uicsl:15500026:000:202 uicsl!segre Feb 14 08:56:00 1984 I was unaware any shorter proof of the Four Color Theorem had been found. As far as I know, the only proof of this theorem is the Appel and Haken computer-proof. Alberto Segre ...uiucdcs!uicsl!segre