Xref: utzoo comp.theory:839 sci.logic:876 sci.math:11660 Path: utzoo!attcan!uunet!mstan!amull From: amull@Morgan.COM (Andrew P. Mullhaupt) Newsgroups: comp.theory,sci.logic,sci.math Subject: Re: Re^2: Question About the Four Color Proof Message-ID: <1212@s8.Morgan.COM> Date: 10 Jul 90 15:23:23 GMT References: <786@qusunu.queensu.CA> <9615@hubcap.clemson.edu> Organization: Morgan Stanley, & Co., Inc. / New York City, NY Lines: 10 I believe the controversy about the proof of the four color theorem includes comments by Graph Theory experts along the lines that they suspect a hole in the arguments which reduce the problem. I would expect that (knowing one of these experts) work is currently in progress to verify the parts of the proof in question. This kind of thing goes on all the time in math, and doesn't differentiate the FCT from most other spectacular conjecture resolutions. Later, Andrew Mullhaupt