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/)

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

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

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 Babbitt, Donald; Goodstein, Judith; (2011)
Federigo Enriques's Quest to Prove the “Completeness Theorem” (/isis/citation/CBB001211747/)

Article Lützen, Jesper; (2009)
Why Was Wantzel Overlooked for a Century? The Changing Importance of an Impossibility Result (/isis/citation/CBB000953071/)

Article Karasmanis, Vassilis; (2006)
The Geometrical Method of Hippocrates of Chios (/isis/citation/CBB000931349/)

Authors & Contributors
Chemla, Karine Carole
Lee, Eunsoo
Charlotte Victorine Pollet
Lo, Melissa
Lorenat, Jemma
Wagner, Donald B.
Concepts
Mathematics
Geometry
Diagrams
Visual representation; visual communication
Proof
Algebra
Time Periods
Ancient
16th century
Renaissance
20th century, early
19th century
17th century
Places
China
Greece
Netherlands
Italy
Comments

Be the first to comment!

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

Log in or register to comment