Buch | Kapitel
Proof in the wording
two modalities from ancient Chinese algorithms
pp. 253-285
Abstrakt
This paper aims at analyzing the ways in which the description of an algorithm can refer to the reasons for its correctness. I rely on ancient Chinese mathematical sources: the Book of Mathematical Procedures (ca. 186 B.C.E.), The Nine Chapters on Mathematical Procedures, (probably first century C.E.), commentaries on the latter by Liu Hui (completed in 263 C.E.) and by a group of scholars working under Li Chunfeng's supervision (presented to the throne in 656 C.E.). These sources show two fundamental ways in which an algorithm can indicate the reasons for its correctness. First, the algorithm can be decomposed into steps and sequences of steps, the meaning of which can be formulated with respect to the problem by reference to which the algorithm was formulated; second, the algorithm can use indirect speech acts to prescribe the operations to be executed: Instead of directly prescribing the operation(s), it refers to them either by the material effect they will have in the situation (first case) or by a term indicating both their material effect and their formal intention (second case). The latter description goes along with prescribing not one operation but several at a time, since it is their combination that achieves the aim intended and indicated by the term used. Such modes of indirect prescription occur in both ancient books. However, the second case occurs only in The Nine Chapters and is abundantly discussed by the commentators. This may indicate an evolution in the modes of approaching the correctness of algorithms between the dates when the two books were composed.
Publication details
Published in:
Hanna Gila, Jahnke Hans Niels, Pulte Helmut (2010) Explanation and proof in mathematics: philosophical and educational perspectives. Dordrecht, Springer.
Seiten: 253-285
DOI: 10.1007/978-1-4419-0576-5_17
Referenz:
Chemla Karine (2010) „Proof in the wording: two modalities from ancient Chinese algorithms“, In: G. Hanna, H. Jahnke & H. Pulte (eds.), Explanation and proof in mathematics, Dordrecht, Springer, 253–285.