OxTalks will soon move to the new Halo platform and will become 'Oxford Events.' There will be a need for an OxTalks freeze. This was previously planned for Friday 14th November – a new date will be shared as soon as it is available (full details will be available on the Staff Gateway).
In the meantime, the OxTalks site will remain active and events will continue to be published.
If staff have any questions about the Oxford Events launch, 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.
