Forms of proofs for algebraic equations in medieval China
How can diagrams account for the correctness of algorithms? Writings composed in China between the 11th and the 13th centuries and devoted to algebraic equations illustrate an unexpected answer to this question. They contain geometrical diagrams whose captions establish a specific connection between the diagrams and the algorithms in relation to which they are given. The talk will analyze the context in which these diagrams, in and of themselves, formulate an argument. It will further examine the form of algebraic proof in an algorithmic context that replaces these diagrams when later on, they disappear from writings devoted to algebraic equations.
Date:
21 February 2018, 17:00
Venue:
All Souls College, High Street OX1 4AL
Venue Details:
Hovenden Room
Speaker:
Karin Chemla (CNRS)
Organising department:
All Souls College
Organisers:
Yelda Nasifoglu (University of Oxford),
Christopher Hollings (University of Oxford),
Benjamin Wardhaugh (University of Oxford),
Philip Beeley (University of Oxford)
Organiser contact email address:
benjamin.wardhaugh@history.ox.ac.uk
Host:
Benjamin Wardhaugh (University of Oxford)
Part of:
Seminar in the History of the Exact Sciences
Booking required?:
Not required
Audience:
Members of the University only
Editor:
Christopher Hollings
