Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP Posting-Version: version B 2.10.2.chuqui_test 8/21/84; site nsc.UUCP Path: utzoo!watmath!clyde!burl!ulysses!mhuxl!ihnp4!nsc!chongo From: chongo@nsc.UUCP (Landon C. Noll) Newsgroups: net.math Subject: computer proofs - 4 color solution Message-ID: <1361@nsc.UUCP> Date: Sun, 26-Aug-84 03:26:45 EDT Article-I.D.: nsc.1361 Posted: Sun Aug 26 03:26:45 1984 Date-Received: Sun, 26-Aug-84 07:29:24 EDT References: <149@ihnet.UUCP>, <13900001@hp-pcd.UUCP> <4105@brl-tgr.ARPA> Organization: National Semiconductor, Sunnyvale Lines: 23 i rank myself with the people who view a CAREFUL computer proof as a VALID proof. i might add that 'human' proofs have not been above there mistakes. a math prof. of mine one said: "a proof is a statment which is accepted as being true by the vast majority of the math community." rejecting a computer proof sometimes is a result of 'computer-phobia'. (NOTE i said SOMETIMES) i remember one prof. who was deeply disturbed by MACSYMA/VAXIMA. he felt math was a subject where humans may only tread, and the thought of a program which could integrate circles around him (its easyer to square the circle then to get round a mathematician :-) ) bothered him. do people who reject the 4-color proof also reject the proof that 2^132049-1 is prime? what about the proof that 2^127-1 is prime, it was done by computer too! in fact 2^31-1 was done using a calculator... chongo /\../\ -- "Aw Ping-Puckety Yung Tiug Too!! Nee! Nee! Yaaaoooowwwwwwwww!!!!!" Wise King Otto of Happy Valley