Metodo

International Studies in Phenomenology and Philosophy

Book | Chapter

209739

Proof in the wording

two modalities from ancient Chinese algorithms

Karine Chemla

pp. 253-285

Abstract

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.

Pages: 253-285

DOI: 10.1007/978-1-4419-0576-5_17

Full citation:

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.