Article ID: CBB786651004

The Proof Is in the Diagram: Liu Yi and the Graphical Writing of Algebraic Equations in Eleventh-Century China (2018)

unapi

In a specific tradition of dealing with algebraic equations in China, eleventh to thirteenth century writings on the topic combine problems, algorithms, and diagrams of several types. This article focuses on the geometrical diagrams that some of them contain. The argument holds that the captions in these diagrams establish a specific connection with the algorithms in relation to which they are given. Accordingly, I claim that these diagrams constitute the proof of the correctness of the algorithms. Reading the diagrams as assertions is thus in my view essential to capture what is at stake in them. These diagrams disappear from another tradition of dealing with algebraic equations in China, to which writings from the second half of the thirteenth century and the early fourteenth century attest. I suggest that these diagrams are replaced by a form of algebraic proof in an algorithmic context, which is also expressed in specific ways.

...More
Included in

Article Greg Priest; Silvia De Toffoli; Paula Findlen (2018) Tools of Reason: The Practice of Scientific Diagramming from Antiquity to the Present. Endeavour: Review of the Progress of Science (pp. 49-59). unapi

Citation URI
https://data.isiscb.org/isis/citation/CBB786651004/

Similar Citations

Article Maanen, Jan van; (2006)
Diagrams and Mathematical Reasoning: Some Points, Lines, and Figures (/isis/citation/CBB000850085/)

Article Raynaud, Dominique; (2014)
Building the Stemma Codicum from Geometric Diagrams (/isis/citation/CBB001321046/)

Thesis La Nave, Federica; (2005)
Belief Without Proof from Ancient Geometry to Renaissance Algebra (/isis/citation/CBB001560809/)

Book Greaves, Mark; (2002)
The Philosophical Status of Diagrams (/isis/citation/CBB000502562/)

Article Melissa Lo; (2017)
The Picture Multiple: Figuring, Thinking, and Knowing in Descartes's Essais (1637) (/isis/citation/CBB074990525/)

Book Charlotte Victorine Pollet; (2020)
The empty and the full: Li Ye and the way of mathematics : geometrical procedures by section of areas (/isis/citation/CBB703705286/)

Book Bray, Francesca; Dorofeeva-Lichtmann, Vera; Métailie, Georges; (2007)
Graphics and Text in the Production of Technical Knowledge in China: The Warp and the Weft (/isis/citation/CBB000950976/)

Article Smadja, Ivahn; (2012)
Local Axioms in Disguise: Hilbert on Minkowski Diagrams (/isis/citation/CBB001211483/)

Article Marwan Rashed; (2020)
Abū Hāšim Al-Ǧubbāʾī, algèbre et inférence (/isis/citation/CBB164105590/)

Chapter Chemla, Karine; (2012)
Reading Proofs in Chinese Commentaries: Algebraic Proofs in an Algorithmic Context (/isis/citation/CBB001320151/)

Article Andrea Del Centina; Alessandra Fiocca; (2021)
The chords theorem recalled to life at the turn of the eighteenth century (/isis/citation/CBB673858384/)

Article Bir, Atilla; Kaçar, Mustafa; (2005)
Salih Zeki's Articles on the Trisection of an Angle (/isis/citation/CBB000931404/)

Article Babbitt, Donald; Goodstein, Judith; (2011)
Federigo Enriques's Quest to Prove the “Completeness Theorem” (/isis/citation/CBB001211747/)

Authors & Contributors
Saito, Ken
Chemla, Karine Carole
Lee, Eunsoo
Charlotte Victorine Pollet
Lo, Melissa
Wagner, Donald B.
Journals
Historia Mathematica
Synthese
Spontaneous Generations
Osmanli Bilimi Arastirmalari: Studies in Ottoman Science
Notices of the American Mathematical Society
Journal of the History of Ideas
Publishers
World Scientific
University of Hawai'i Press
CSLI Publications
Brill
Harvard University
Concepts
Mathematics
Geometry
Diagrams
Visual representation; visual communication
Proof
Algebra
People
Euclid
Ğubbāʾī, Abū Hāšim al-
Wang, Xiaotong
Minkowski, Hermann
Li, Ye
Ibn al-Haytham, Abū ʿAlī al-Ḥasan
Time Periods
Ancient
16th century
Renaissance
20th century, early
17th century
Yuan Dynasty (China, ca. 1260-1368)
Places
China
Greece
Netherlands
Italy
Ottoman Empire
Comments

Be the first to comment!

{{ comment.created_by.username }} on {{ comment.created_on | date:'medium' }}

Log in or register to comment