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