OxTalks is Changing
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
Craing the mathematical machine
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).
Date:
24 April 2017, 16:30
Venue:
Radcliffe Humanities, Woodstock Road OX2 6GG
Venue Details:
Ryle Room
Speaker:
Professor Ursula Martin (University of Oxford)
Organising department:
Faculty of Philosophy
Organiser:
James Studd (University of Oxford)
Part of:
Philosophy of Mathematics Seminar
Booking required?:
Not required
Audience:
Members of the University only
Editor:
Mario Baptiste
