Discussions of mathematical problem-solving and heuristic reasoning have typically examined how proofs that are already known might be found. This approach has at least three problems: first, provers engaged in discovering proofs for themselves cannot have this perspective; second, if a proof is difficult, formulaic strategies quickly run out; third, beginning with a proof already in-hand separates reasoning about a proof from the actual circumstances in which such reasoning occurs. As an alternative approach to the study of mathematical reasoning, this paper presents a detailed descriptive account of the work of finding a specific proof, including the shifting of perspectives, the wrong paths, the mistakes and the outright errors. Even the appearance of a sketched diagram or of a course of mathematical writing can suggest unanticipated possibilities for finding a proof. This material is used to illustrate the paper’s central claim - that the ways that provers go about working on proofs provide the context for continuing that work and for discovering the reasoning that a particular proof is then seen to require.
[1]
Johannes Feest.
Compliance with Legal Regulations: Observation of Stop Sign Behavior
,
1968
.
[2]
M. Lynch.
Scientific practice and ordinary action : ethnomethodology and social studies of science
,
1994
.
[3]
Hilarion G. Petzold,et al.
Merleau-Ponty, Maurice
,
2005
.
[4]
Eric Livingston,et al.
Cultures of Proving
,
1999
.
[5]
Dr. Zbigniew Michalewicz,et al.
How to Solve It: Modern Heuristics
,
2004
.
[6]
Natural reasoning in mathematical theorem proving
,
2005
.
[7]
James L. McClelland,et al.
Phenomenology of perception.
,
1978,
Science.
[8]
Eric Livingston,et al.
Ethnomethodological Studies of Mediated Interaction and Mundane Expertise 1
,
2006
.
[9]
R. Hepburn,et al.
BEING AND TIME
,
2010
.
[10]
Eric Livingston,et al.
Making Sense of Ethnomethodology
,
1987
.
[11]
Ellery B. Golos.
Foundations of Euclidean and non-Euclidean geometry
,
1968
.
[12]
Eric Livingston.
Circumstances of Reasoning in the Natural Sciences
,
2007
.
[13]
Harold Garfinkel,et al.
On Formal Structures of Practical Actions
,
2005
.