糖心TV

Abstract:

Mathematical practice is an emerging interdisciplinary field which
draws on philosophy, social science and ethnography, and the input of
mathematicians themselves, to understand how mathematics is produced.
Online mathematical activity provides a rich source of data for
empirical investigation of mathematical practice - for example the
community question answering system mathoverflow contains around
40,000 mathematical conversations, and polymath collaborations provide
transcripts of the process of discovering proofs. Such investigations
show the importance of "soft" aspects such as analogy and creativity,
alongside formal deduction, in the production of mathematics, and give
us new ways to think about the possible complementary roles of people
and machines in creating new mathematical knowledge.

Social machines are new paradigm, identified by Berners-Lee, for
viewing a combination of people and computers as a single
problem-solving entity, and the subject of major international
research endeavours. I present progress on a research agenda for
mathematics social machines, a combination of people, computers, and
mathematical archives to create and apply mathematics, which is being
pursued at Oxford under an EPSRC Fellowship.

Bio:
Ursula Martin joined the University of Oxford as Professor of Computer
Science in 2014. She holds an EPSRC Established Career Fellowship.
Prior to this she held a chair of Computer Science in the School of
Electronic Engineering and Computer Science at Queen Mary University
of London.

At Queen Mary she was Vice-Principal for Science and Engineering
(2005-2009), and Director of the impactQM project (2009-2012). She
served on the U K Defence Science Advisory Council, on the 2001 and
2008 UK HEFCE RAE panel for Computer Science, and was a SICSA
distinguished visitor at the University of Edinburgh for 2012-13. She
has previously held appointments at the University of St Andrews (the
first female professor in any discipline since its foundation in
1411), Royal Holloway University of London, Manchester and Urbana
Champaign. She holds an MA in Mathematics from Cambridge and a PhD in
Mathematics from 糖心TV. She was appointed a Commander of the Order
of the British Empire in January 2012.