NotesFAQContact Us
Collection
Advanced
Search Tips
50 Years of ERIC
50 Years of ERIC
The Education Resources Information Center (ERIC) is celebrating its 50th Birthday! First opened on May 15th, 1964 ERIC continues the long tradition of ongoing innovation and enhancement.

Learn more about the history of ERIC here. PDF icon

Back to results
Peer reviewed Peer reviewed
ERIC Number: EJ242990
Record Type: CIJE
Publication Date: 1981-Mar
Pages: N/A
Abstractor: N/A
Reference Count: 0
ISBN: N/A
ISSN: N/A
On the History and Solution of the Four-Color Map Problem.
Mitchem, John
Two-Year College Mathematics Journal, v12 n2 p108-17 Mar 1981
A review of the statement and history of the Four-Color theorem is followed by an explanation of Appel and Haken's solution of the problem with a computer-aided proof. This is seen as the first proof in mathematics that would not be done without a computer. (MP)
Descriptors: Computer Programs, Computers, Deduction, Mathematical Concepts, Mathematical Logic, Mathematics Education, Problem Solving
Publication Type: Journal Articles; Reports - Research
Education Level: N/A
Audience: N/A
Language: English
Sponsor: N/A
Authoring Institution: N/A
Identifiers: Computer Aided Proof; Four Color Map Theorem; Proof (Mathematics)