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
My recent research uses the on-line collaborative proofs developed in
the polymath initiative, led by Gowers and Tao, for an empirical study
of mathematical collaboration. While the original motivation for the
work was to extend the support oered by computer aided proof, in
this talk I will outline some of the results about mathematical practice
obtained in by working with social scientists, philosophers and computer
scientists. I will focusing in particular on ideas of cra and landscape that
are emerging in studying the proof process.
e project is supported by EPSRC and collaborators include Andrew
Aberdein (Florida), Joe Corneli (Edinburgh), Chris Hollings (Oxford)
Lorenzo Lane (Oxford) Laura Meagher (Edinburgh), Alison Pease
(Dundee) and Fenner Tanswell (Oxford).
