Skip to main content

The Interplay Between Proof and Algorithm in 3rd Century China: The Operation as Prescription of Computation and the Operation as Argumento

  • Chapter
Visualization, Explanation and Reasoning Styles in Mathematics

Part of the book series: Synthese Library ((SYLI,volume 327))

This paper was completed, while I was spending a week at the Fondation des Treilles, Tourtour. It is my pleasure to thank this institution for its hospitality. I am grateful to John McCleary for his help in the process of polishing the English.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  • Chemla, K. (1992). Méthodes infinitésimales en Chine et en Grèce anciennes. In (Salanskis and Sinaceur, 1992, 31–46).

    Google Scholar 

  • Chemla, K. (1996). Relations between procedure and demonstration. Measuring the circle in the Nine Chapters on Mathematical Procedures and their commentary by Liu Hui (3rd century). In (Jahnke et al., 1996, 69–112).

    Google Scholar 

  • Chemla, K. (1997). What is at Stake in Mathematical Proofs from Third Century China?, Science in Context 10(2): 227–51.

    Google Scholar 

  • Chemla, K. (1997/98). Fractions and irrationals between algorithm and proof in ancient China, Studies in History of Medicine and Science 15(1—2): 31–54. New Series, 1997/98.

    Google Scholar 

  • Chemla, K. (1997a). Qu’est-ce qu’un problème dans la tradition mathématique de la Chine ancienne? Quelques indices glanés dans les commentaires rédigés entire le 3ième et le 7ième siècles au classique Han Les neuf chapitres sur les procédures mathématiques, Extrême-Orient, Extrême-Occident 19: 91–126.

    Google Scholar 

  • Chemla, K. (2001). Variété des modes d’utilisation des tu dans les textes mathématiques des Song et des Yuan. Preprint for the conference “From Image to Action: The Function of Tu-Representations in East Asian Intellectual Culture”, Paris September 2001, published on the website http://hal.ccsd.cnrs.fr/, section Philosophie, subsection “Histoire de la logique et des mathmatiques”. The final version is in preparation.

    Google Scholar 

  • Chemla, K. (2002). What was a mathematical problem in ancient China?, in (Hart and Richards, n.d.). Preprint for the conference “The disunity of Chinese science”, Chicago, May 2002, published on the website http://hal.ccsd.cnrs.fr/, section Philosophie, subsection “Histoire de la logique et des mathmatiques”. The final version is in preparation.

    Google Scholar 

  • Chemla, K. and Guo Shuchun (n.d.). Les neuf chapitres. Edition critique, traduction et présentation des Neuf chapitres sur les procédures mathématiques (les débuts de l’ère commune) ainsi que des commentaires de Liu Hui (3ième siècle) et de Li Chunfeng (7ième siècle), Dunod. Forthcoming.

    Google Scholar 

  • Chemla, K. and Keller, A. (2002). The Sanskrit karanis, and the Chinese mian, in (Dold-Samplonius et al., 2002).

    Google Scholar 

  • Chen Liang-ts’o (1986). Research on Liu Hui’s commentary on the procedure of the circular field in the Nine Chapters on Mathematical Procedures, Sinological Research (Hanxue yanjiu) 4(1): 47–81. In Chinese.

    Google Scholar 

  • Dold-Samplonius, Y., Dauben, J. W., Folkerts, M. and van Dalen, B. (eds) (2002). From China to Paris: 2000 Years of Mathematical Transmission, Steiner Verlag, Stuttgart.

    Google Scholar 

  • Guo Shuchun (1983). Liu Hui’s theory of areas, Liaoning Shiyuan Xuebao Zirankexueban (Papers on the Natural Sciences from the Journal of the Normal University of Liaoning) 1: 85–96. In Chinese.

    Google Scholar 

  • Guo Shuchun (1984). Analysis of the concept of and its use in The nine chapters on mathematical procedures and in Liu Hui’s commentary, Kejishi Jikan (Journal of history of science and technology) 11: 21–36. In Chinese.

    Google Scholar 

  • Hart, R. and Richards, B. (eds) (n.d.). The disunity of Chinese science.

    Google Scholar 

  • Jahnke, H. N., Knoche, N. and Otte, M. (eds) (1996). History of Mathematics and Education: Ideas and Experiences, Vandenhoeck & Ruprecht, Göttingen.

    Google Scholar 

  • Lam Lay Yong and Ang Tian-Se (1986). Circle Measurements in Ancient China, Historia Mathematica 13: 325–340.

    Google Scholar 

  • Li Jimin (1982). The theory of ratio in The nine chapters on mathematical procedures, in (Wu Wenjun, 1982, 228–45). In Chinese.

    Google Scholar 

  • Liu Dun (1985). Comparison of Archimedes’ and Liu Hui’s research on the circle, Ziran Bianzhengfa Tongxun (Journal of Dialectics of Nature) 1: 51–60. In Chinese.

    Google Scholar 

  • Salanskis, J. M. and Sinaceur, H. (eds) (1992). Le labyrinthe du continue, Springer.

    Google Scholar 

  • Volkov, A. K. (1994). Calculation of π in ancient China: from Liu Hui to Zu Chongzhi, Historia Scientiarum 4: 139–57.

    Google Scholar 

  • Wu Wenjun (ed.) (1982). Jiuzhang suanshu yu Liu Hui, (The nine chapters on mathematical procedures and Liu Hui), Editions of Beijing Normal University.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer

About this chapter

Cite this chapter

Chemla, K. (2005). The Interplay Between Proof and Algorithm in 3rd Century China: The Operation as Prescription of Computation and the Operation as Argumento. In: Mancosu, P., Jørgensen, K.F., Pedersen, S.A. (eds) Visualization, Explanation and Reasoning Styles in Mathematics. Synthese Library, vol 327. Springer, Dordrecht. https://doi.org/10.1007/1-4020-3335-4_7

Download citation

Publish with us

Policies and ethics