NotesFAQContact Us
Collection
Advanced
Search Tips
Peer reviewed Peer reviewed
ERIC Number: EJ242991
Record Type: Journal
Publication Date: 1981-Mar
Pages: N/A
Abstractor: N/A
Reference Count: N/A
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)
Publication Type: Journal Articles; Opinion Papers
Education Level: N/A
Audience: N/A
Language: English
Sponsor: N/A
Authoring Institution: N/A