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: EJ242992
Record Type: CIJE
Publication Date: 1981-Mar
Pages: N/A
Abstractor: N/A
Reference Count: 0
ISBN: N/A
ISSN: N/A
Computer Use to Computer Proof: A Rational Reconstruction.
Tymoczko, Thomas
Two-Year College Mathematics Journal, v12 n2 p120-25 Mar 1981
The concept and nature of proof in mathematics is examined, and the emerging role of computers in this area is reviewed. The issue is seen to force mathematicians and philosophers to reexamine their assumptions about mathematics and how it is done. (MP)
Descriptors: Computer Programs, Computer Science, Computers, Mathematical Concepts, Mathematics, Mathematics Education, Philosophy
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)