Oxford Events, the new replacement for OxTalks, will launch on 16th March. From now until the launch of Oxford Events, new events cannot be published or edited on OxTalks while all existing records are migrated to the new platform. The existing OxTalks site will remain available to view during this period.
From 16th, Oxford Events will launch on a new website: events.ox.ac.uk, and event submissions will resume. You will need a Halo login to submit events. Full details are available on the Staff Gateway.
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.
