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: EJ242991
Record Type: CIJE
Publication Date: 1981-Mar
Pages: N/A
Abstractor: N/A
Reference Count: 0
ISBN: N/A
ISSN: N/A
The Nature of Proof: Limits and Opportunities.
Appel, Kenneth; Haken, Wolfgang
Two-Year College Mathematics Journal, v12 n2 p118-19 Mar 1981
The mathematicians who developed the computer-aided proof to the Four-Color Conjecture discuss the ramifications of their work and the use of computers in working on the proof of theorems in the future. (MP)
Descriptors: Computer Programs, Computer Science, Computers, Mathematical Concepts, Mathematical Logic, Mathematics, Mathematics Education
Publication Type: Journal Articles; Opinion Papers
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)