On 28th November OxTalks will move to the new Halo platform and will become 'Oxford Events' (full details are available on the Staff Gateway).
There will be an OxTalks freeze beginning on Friday 14th November. This means you will need to publish any of your known events to OxTalks by then as there will be no facility to publish or edit events in that fortnight. During the freeze, all events will be migrated to the new Oxford Events site. It will still be possible to view events on OxTalks during this time.
If you have any questions, please contact halo@digital.ox.ac.uk
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.
