You are here:

Two-Year College Mathematics Journal

March 1981 Volume 12, Number 2

Search this issue

Table of Contents

Number of articles: 2

  1. The Nature of Proof: Limits and Opportunities

    Kenneth Appel & Wolfgang Haken

    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... More

    pp. 118-19

    View Abstract
  2. Computer Use to Computer Proof: A Rational Reconstruction

    Thomas Tymoczko

    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... More

    pp. 120-25

    View Abstract