BEGIN:VCALENDAR
VERSION:2.0
PRODID:talks.ox.ac.uk
BEGIN:VEVENT
SUMMARY:Forms of proofs for algebraic equations in medieval China - Karin
Chemla (CNRS)
DTSTART;VALUE=DATE-TIME:20180221T170000Z
DTEND;VALUE=DATE-TIME:20180221T183000Z
UID:https://talks.ox.ac.uk/talks/id/45bed3c4-ed89-495b-aaf3-08aa4007b028/
DESCRIPTION:How can diagrams account for the correctness of algorithms? Wr
itings composed in China between the 11th and the 13th centuries and devot
ed to algebraic equations illustrate an unexpected answer to this question
. They contain geometrical diagrams whose captions establish a specific co
nnection 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 fo
rm of algebraic proof in an algorithmic context that replaces these diagra
ms when later on\, they disappear from writings devoted to algebraic equat
ions.\nSpeakers:\nKarin Chemla (CNRS)
LOCATION:All Souls College (Hovenden Room)\, High Street OX1 4AL
URL:https://talks.ox.ac.uk/talks/id/45bed3c4-ed89-495b-aaf3-08aa4007b028/
BEGIN:VALARM
ACTION:display
DESCRIPTION:Talk:Forms of proofs for algebraic equations in medieval China
- Karin Chemla (CNRS)
TRIGGER:-PT1H
END:VALARM
END:VEVENT
END:VCALENDAR