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