Computer Use to Computer Proof: A Rational Reconstruction.

Tymoczko, Thomas

Notes FAQ Contact Us

Back to results

Peer reviewed

ERIC Number: EJ242992

Record Type: Journal

Publication Date: 1981-Mar

Pages: N/A

Abstractor: N/A

ISBN: N/A

ISSN: N/A

EISSN: N/A

Available Date: 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

Grant or Contract Numbers: N/A

Author Affiliations: N/A