ABSTRACT

Much of the author's research has concerned the intrinsically social characteristics of theorem proving and especially the ways that the "rigor" of a mathematical proof is a local accomplishment. He has used the Euclidean geometry as a source of examples in that it's more accessible to him and to an audience of the other nonmathematicians. At one point in his studies he came upon a distinctive proof that the medians of a triangle intersect in a common point. A median is the line segment that joins a vertex of a triangle and the midpoint of the opposite side. A corpus-relevant skill is a skill relevant to proving theorems of the Euclidean geometry as exhibited through a number of proofs belonging to the Euclidean corpus. The conception of corpus-relevant skills clarified a transcendentalizing feature of proving within an immediate local environment.