MathSoMac: the social machine of mathematics

Lead Research Organisation: University of Oxford
Department Name: Computer Science

Abstract

Mathematics is a profound intellectual achievement with impact on all aspects of business and society.

For centuries, the highest level of mathematics has been seen as an isolated creative activity, to produce a proof for review and acceptance by research peers. Mathematics is now at a remarkable inflexion point, with new technology radically extending the power and limits of individuals. "Crowdsourcing" pulls together diverse experts to solve problems; symbolic computation tackles huge routine calculations; and computers check proofs that are just too long and complicated for any human to comprehend, using programs designed to verify hardware.

Yet these techniques are currently used in stand-alone fashion, lacking integration with each other or with human creativity or fallibility.

Social machines are new paradigm, identified by Berners-Lee, for viewing a combination of people and computers as a single problem-solving entity. Our long-term vision is to change mathematics, transforming the reach, pace, and impact of mathematics research, through creating a mathematics social machine: a combination of people, computers, and archives to create and apply mathematics.

Thus, for example, an industry researcher wanting to design a network with specific properties could quickly access diverse research skills and research; explore hypotheses; discuss possible solutions; obtain surety of correctness to a desired level; and create new mathematics that individual effort might never imagine or verify. Seamlessly integrated "under the hood" might be a mixture of diverse people and machines, formal and informal approaches, old and new mathematics, experiment and proof.

The obstacles to realising the vision are that
(i) We do not have a high level understanding of the production of mathematics by people and machines, integrating the current diverse research approaches
(ii) There is no shared view among the diverse re- search and user communities of what is and might be possible or desirable

The outcome of the fellowship will be a new vision of a mathematics social machine, transforming the reach, pace and impact of mathematics. It will deliver: analysis and experiment to understand current and future production of mathematics as a social machine; designs and prototypes; ownership among academic and industry stakeholders; a roadmap for delivery of the next generation of social machines; and an international team ready to make it a reality.

Planned Impact

Impact pervades our plans for research: WP 1.3 concerns the nature of the impact of mathematics research, WP 2 will consider impact in all aspects of Social Machines, with Open Innovation as a running example, and in WP3 we have deliberately chosen three timely Case Studies of relevance to needs of business and society: networks, security and energy. Thus we will ensure that our Social Machines meet the needs of users for impact, and so our task becomes that of ensuring that there is a likely take-up when they are built, beyond the end of the project.

The long-term overarching goal of the fellowship is to increase the reach, pace and impact of mathematics research, to benefit practitioners of, and potential users of, such research, in ICT, mathematics and other domains, whether in research labs, government or industry. New ways of working will enable practitioners and users to find more significant results more quickly, and to be able to access a broader range of researchers and research, with a greater degree of assurance of the results. In the lifetime of the project TCS researchers, and research users in security and networks, can engage through WP 3 above, which may provide immediate impacts. Longer term our work on design and roadmapping will be informed by working closely with our co-workers, partners and Advisers, so as to ensure that the tools that are eventually produced meet users needs and have impact.

The pathways to impact include work with stakeholders coordinated with project partners including two learned societies and the Industrial Mathematics Knowledge Transfer Network.

Publications

10 25 50

Related Projects

Project Reference Relationship Related To Start End Award Value
EP/K040251/1 01/01/2014 31/01/2014 £1,157,933
EP/K040251/2 Transfer EP/K040251/1 01/02/2014 30/06/2018 £1,146,391
 
Description Please note that this grant represents the first month of a four year grant, which after one month was transferred to another university. It is meaningless to report findings separately
Exploitation Route Please note that this grant represents the first month of a four year grant, which after one month was transferred to another university. It is meaningless to report findings separately
Sectors Creative Economy,Digital/Communication/Information Technologies (including Software),Education,Culture, Heritage, Museums and Collections

 
Description Major thread of public impact around nineteenth century science and the foundations of modern computing
First Year Of Impact 2015
Sector Creative Economy,Education,Culture, Heritage, Museums and Collections
Impact Types Cultural

 
Description Extension: MathSoMac: the social machine of mathematics
Amount £911,629 (GBP)
Funding ID EP/R03169X/1 
Organisation Engineering and Physical Sciences Research Council (EPSRC) 
Sector Public
Country United Kingdom
Start 07/2018 
End 06/2021
 
Description "The history of computing beyond the computer" 
Form Of Engagement Activity Participation in an open day or visit at my research institution
Part Of Official Scheme? No
Geographic Reach National
Primary Audience Professional Practitioners
Results and Impact Panel discussion at the Mathematical Institute, Uni of Oxford. For the British Society for the History of Mathematics conference "The history of computing beyond the computer", 21-22 March 2018.
Year(s) Of Engagement Activity 2018
URL https://www.eventbrite.co.uk/e/the-history-of-computing-beyond-the-computer-tickets-40057294446
 
Description A UK-based digital competition for kids & young people. Fascinating Ada Competition 
Form Of Engagement Activity Participation in an activity, workshop or similar
Part Of Official Scheme? No
Geographic Reach National
Primary Audience Schools
Results and Impact Fascinating Ada Competition -- Asked girls (age ranges under 13, 13-15, and 16-18) what they would like to tell Ada about 21st century technology. UK version. Ursula Martin involved, and was one of the judges. More than 250 entries received. Competition held by National Museum of Computing, University of Oxford, in conjunction with cs4fn at Queen Mary University. A sister competition was held in the US.
Year(s) Of Engagement Activity 2015
URL http://www.tnmoc.org/ada/fascinating-ada-entries
 
Description A USA-based digital competition for kids & young people. Letter to Lovelace Competition 
Form Of Engagement Activity Participation in an activity, workshop or similar
Part Of Official Scheme? No
Geographic Reach International
Primary Audience Schools
Results and Impact Letter to Lovelace Competition -- Asked girls (age ranges under 13, 13-15, 16-18) "What do you think would interest Ada Lovelace about 21st century technology?". US version, Ursula Martin involved and was one of the judges Held by Computer History Museum, CA. Inspired by the Fascinating Ada Competition by the National Museum of Computing, University of Oxford
Year(s) Of Engagement Activity 2015
URL https://www.youtube.com/watch?v=bZxkI6BdKEY
 
Description Alison Pease: Social Creativity in Mathematics (ZiF, Bielefeld) 
Form Of Engagement Activity A talk or presentation
Part Of Official Scheme? No
Geographic Reach International
Primary Audience Professional Practitioners
Results and Impact Social creativity is related to "framing" from the FACE model of creativity through connection with "explanation" in the production of mathematics. Hypotheses and empirical research on explanation were presented.
Year(s) Of Engagement Activity 2016
 
Description American Maths Society JMM, History of Maths 
Form Of Engagement Activity Participation in an open day or visit at my research institution
Part Of Official Scheme? No
Geographic Reach International
Primary Audience Professional Practitioners
Results and Impact "What does Ada Lovelace's correspondence with Augustus De Morgan tell us about her ability?" by Ursula Martin. Lecture as part of the the Joint Mathematics Meetings AMS-MAA-ICHM Special Session on History of Mathematics. Ran from 10-13 January 2018, in San Diego, CA, USA.
Year(s) Of Engagement Activity 2018
URL http://jointmathematicsmeetings.org/meetings/national/jmm2018/2197_program_ss50.html
 
Description American Maths Society JMM, History of Maths. 
Form Of Engagement Activity Participation in an open day or visit at my research institution
Part Of Official Scheme? No
Geographic Reach International
Primary Audience Professional Practitioners
Results and Impact "Writing the Mathematical biography of Ada Lovelace" by Ursula Martin. Lecture as part of the the Joint Mathematics Meetings AMS-MAA-ICHM Special Session on History of Mathematics, in Atlanta, GA, USA. Ran from 4-7 January 2017.
Year(s) Of Engagement Activity 2017
URL http://jointmathematicsmeetings.org/meetings/national/jmm2017/2180_program_ss25.html
 
Description BBC News Online article. 
Form Of Engagement Activity A press release, press conference or response to a media enquiry/interview
Part Of Official Scheme? No
Geographic Reach National
Primary Audience Media (as a channel to the public)
Results and Impact "Ada Lovelace's letters and work on display at Oxford library": News article about Bodleian Ada exhibition. Also includes mentions of Ada Lovelace Day, BBC4 documentary, Ursula Martin quote, and London Science Museum Ada exhibition
Year(s) Of Engagement Activity 2015
URL https://www.bbc.co.uk/news/uk-england-oxfordshire-34509657
 
Description BBC Newsnight 
Form Of Engagement Activity A press release, press conference or response to a media enquiry/interview
Part Of Official Scheme? No
Geographic Reach National
Primary Audience Media (as a channel to the public)
Results and Impact Item on BBC newsnight flagship news programme introducing Ada Lovealce
Year(s) Of Engagement Activity 2018
URL https://www.bbc.co.uk/iplayer/episode/b09zbjlw/newsnight-11042018h
 
Description BBC Radio 4" The Letters of Ada Lovelace" 
Form Of Engagement Activity A broadcast e.g. TV/radio/film/podcast (other than news/press)
Part Of Official Scheme? No
Geographic Reach National
Primary Audience Media (as a channel to the public)
Results and Impact Advised on a BBC Radio 4 Programme "The Letters of Ada Lovelace: The Poetry of Mathematics". Dramatisation of AL correspondence, voiced by Sally Hawkins as Ada, Olivia Williams and Anthony Head.
Year(s) Of Engagement Activity 2015
URL https://www.bbc.co.uk/programmes/b06bplc4/broadcasts/2015/10
 
Description BBC Science Focus article 
Form Of Engagement Activity A magazine, newsletter or online publication
Part Of Official Scheme? No
Geographic Reach National
Primary Audience Media (as a channel to the public)
Results and Impact "How Ada Lovelace's notes on the Analytical Engine created the first computer program" article, adapted from Chapter 7 of our book. BBC Science Focus (print readership of 295,000; print circulation 58,300).
Year(s) Of Engagement Activity 2018
URL http://www.sciencefocus.com/article/maths/ada-lovelace-analytical-engine-charles-baggage-science-his...
 
Description BBC radio 3 the Verb 
Form Of Engagement Activity A press release, press conference or response to a media enquiry/interview
Part Of Official Scheme? No
Geographic Reach National
Primary Audience Media (as a channel to the public)
Results and Impact Item on BBC BBC radio 3 the Verb, chaired by Ian Macmillan
Year(s) Of Engagement Activity 2018
URL https://www.bbc.co.uk/programmes/b09z6bg3
 
Description BBC:TV series 
Form Of Engagement Activity A broadcast e.g. TV/radio/film/podcast (other than news/press)
Part Of Official Scheme? No
Geographic Reach International
Primary Audience Public/other audiences
Results and Impact UM advised producers of BBC: Calculating Ada: The Countess of Computing with Hannah Fry and Doron Swade (TV).
Year(s) Of Engagement Activity 2015
URL https://www.bbc.co.uk/programmes/p030s5bx
 
Description Bicentennial Symposum & podcasts. 
Form Of Engagement Activity Participation in an open day or visit at my research institution
Part Of Official Scheme? No
Geographic Reach International
Primary Audience Public/other audiences
Results and Impact Bicentennial Symposum & podcasts. Oxford Symposium celebrating Lovelace's 200th birthday Symposium - interdisciplinary with comp sci, maths, historians, graphic arts; and international, UK and German researchers. Lectures and workshops, also had a toast from AL's descendant at Blackwell Hall, Bodleian Library reception, dinner in Balliol College, & Taylor and Francis sponsored birthday cake (!). UM blog post on it linked on the right, great SM quotes to keep an eye out for during social media research 9-10 Dec 2015. Over 300 attendees, including 50 (sponsored) students. Lectures from the Symposium remain accessible as online recordings/podcasts.
Year(s) Of Engagement Activity 2015
URL http://blogs.bodleian.ox.ac.uk/adalovelace/2015/10/31/symposium-programme/
 
Description Blog post EPSRC 
Form Of Engagement Activity Engagement focused website, blog or social media channel
Part Of Official Scheme? No
Geographic Reach International
Primary Audience Postgraduate students
Results and Impact 'Ada Lovelace, A Scientist in the Archives' on the Engineering and Physical Sciences Research Council (EPSRC) Blog
Year(s) Of Engagement Activity 2015
URL https://epsrc.ukri.org/blog/ada-lovelace-a-scientist-in-the-archives/#
 
Description Bodleian Ada blog. (Date used here is of the first blog post). 
Form Of Engagement Activity Engagement focused website, blog or social media channel
Part Of Official Scheme? No
Geographic Reach International
Primary Audience Media (as a channel to the public)
Results and Impact Blog with various entries relating to Ada Lovelace project in Oxford, including events and workshops, discussion or primary sources in the archives, and collaborations with other organisations.
Year(s) Of Engagement Activity 2015
URL http://blogs.bodleian.ox.ac.uk/adalovelace/
 
Description Bodleian Libraries "Sappho to suffrage" museum exhibition 
Form Of Engagement Activity Participation in an activity, workshop or similar
Part Of Official Scheme? No
Geographic Reach International
Primary Audience Public/other audiences
Results and Impact Ursula Martin advised on and wrote captions for 2 iconic AL items. 6-Mar-2018-22 February 2019
Year(s) Of Engagement Activity 2018
URL https://www.bodleian.ox.ac.uk/whatson/whats-on/upcoming-events/2018/mar/sappho-to-suffrage
 
Description Bodleian Libraries museum exhibition 
Form Of Engagement Activity Participation in an activity, workshop or similar
Part Of Official Scheme? No
Geographic Reach International
Primary Audience Public/other audiences
Results and Impact Bodleian Libraries "Ada, Countess of Lovelace: computer pioneer" museum exhibition 13 October 2015 - 24 December 2015 Curated by Ursula Martin and Mary Clapinson. Display at Weston Library, Bodleian, Oxford. This display celebrates Ada, (1815-52), who wrote with remarkable foresight about the potential of Charles Babbage's calculating machine, including what is often called the first computer programme. Based on Bodleian Library and the Oxford Museum of the History of Science collections. See Ada Lovelace's childhood letters, correspondence with Charles Babbage, and newly discovered mathematical notes and images. Blackwell Hall, the main entrance area to the Weston Library, with a cafe, displays and shop, is free to enter and open to all.
Year(s) Of Engagement Activity 2015
URL https://www.bodleian.ox.ac.uk/whatson/whats-on/upcoming-events/2015/oct/lovelace
 
Description Bodleian Library, "museum display" 
Form Of Engagement Activity Participation in an activity, workshop or similar
Part Of Official Scheme? No
Geographic Reach International
Primary Audience Other audiences
Results and Impact "From Ada to today: pioneering women in the development of computing" Display in Radcliffe Science Library, with Ada's papers on Babbage's Analytical Engine, linking through to today's Oxford Women in Comp Sci . 13 Oct - 13 Nov
Year(s) Of Engagement Activity 2015
URL http://blogs.bodleian.ox.ac.uk/adalovelace/2015/10/14/only-known-photographs-of-ada-lovelace-in-bodl...
 
Description Bodleian Lunchtime Lecture 
Form Of Engagement Activity A talk or presentation
Part Of Official Scheme? No
Geographic Reach Regional
Primary Audience Public/other audiences
Results and Impact "Bodleian Lunchtime Lecture: the Scientific Life of Ada Lovelace" . At Weston Library, lecture complementing the display at the Bodleian
Year(s) Of Engagement Activity 2015
URL https://findingada.com/event/bodleian-lunchtime-lecture-the-scientific-life-of-ada-lovelace/
 
Description CUNY New York 
Form Of Engagement Activity A talk or presentation
Part Of Official Scheme? No
Geographic Reach International
Primary Audience Postgraduate students
Results and Impact Part of celebration of women at CUNY, their "Women in Science" series of lectures. "Women in Science: The Scientific Life of Ada Lovelace", by Ursula Martin.
Year(s) Of Engagement Activity 2018
URL https://www.gc.cuny.edu/All-GC-Events/Calendar/Detail?id=44424
 
Description Centre for Computing History 
Form Of Engagement Activity A talk or presentation
Part Of Official Scheme? No
Geographic Reach National
Primary Audience Public/other audiences
Results and Impact Centre for Computing History, Cambridge "Ada Lovelace: The Programmer, the maths, and the myths" for 2017 'Computing History: Where did all the Women Go?' Festival
Year(s) Of Engagement Activity 2017
URL http://www.computinghistory.org.uk/det/45096/Ada-Lovelace-The-Programmer-the-Maths-and-the-Myths-26-...
 
Description Channing School Website 
Form Of Engagement Activity A magazine, newsletter or online publication
Part Of Official Scheme? No
Geographic Reach Local
Primary Audience Schools
Results and Impact Channing School Website, weekly update / "Word from the Head" Mentions Maths Week and Ursula Martin's Ada presentation.
Year(s) Of Engagement Activity 2018
URL https://www.channing.co.uk/about-us/welcome-from-the-headmistress/word-from-the-head/
 
Description Channing School, High Bank, London 
Form Of Engagement Activity A talk or presentation
Part Of Official Scheme? No
Geographic Reach National
Primary Audience Schools
Results and Impact Spoke on Ada Lovelace to 6th form & Year 11s as part of the school's Maths Week (according to Channing twitter, originally designated as the 40th Annual Mathematical Olympiad aka Maths Challenge lecture)
Year(s) Of Engagement Activity 2018
URL https://twitter.com/ChanningSchool/status/974661454191263746
 
Description Computer History Museum Silicon Valley 
Form Of Engagement Activity Participation in an activity, workshop or similar
Part Of Official Scheme? No
Geographic Reach International
Primary Audience Public/other audiences
Results and Impact Transfer of Bodlain display as above "Thinking Big: Ada Countess of Lovelace" exhibition, December 12 2015 and ongoing
Year(s) Of Engagement Activity 2015
URL https://www.computerhistory.org/exhibits/thinkingbig/
 
Description Computer History Museum Silicon Valley 
Form Of Engagement Activity A talk or presentation
Part Of Official Scheme? No
Geographic Reach International
Primary Audience Public/other audiences
Results and Impact "Ada Lovelace: Mathematician and Visionary" Event in connection with museum display. Panel discussion: Ursula Martin, Betty Toole (USA Ada historian) and Tim Robinson (Engineer, Babbage machine replicas).
Year(s) Of Engagement Activity 2016
URL http://www.computerhistory.org/events/past/#thinking-bigada-lovelace-mathematician-visionary
 
Description Core magazine, Computer History Museum Silicon Valley 
Form Of Engagement Activity A magazine, newsletter or online publication
Part Of Official Scheme? No
Geographic Reach International
Primary Audience Public/other audiences
Results and Impact "The Scientific Life of Ada Lovelace" pp 24-27, by Ursula Martin, in 2016 issue "Women in Computing"
Year(s) Of Engagement Activity 2016
URL http://s3data.computerhistory.org/core/core-2016.pdf
 
Description Dartmouth College New Hampshire 
Form Of Engagement Activity A talk or presentation
Part Of Official Scheme? No
Geographic Reach International
Primary Audience Public/other audiences
Results and Impact "Ada Lovelace: The Making of a Computer Scientist" lecture at the History Department. Public lecture.
Year(s) Of Engagement Activity 2018
URL https://news.dartmouth.edu/events/event?event=51366#.W_roa9ucY0o
 
Description Department of English, University of Oxford 
Form Of Engagement Activity A talk or presentation
Part Of Official Scheme? No
Geographic Reach Regional
Primary Audience Professional Practitioners
Results and Impact "Science, Medicine and Culture in the 19th Century Seminar: 'Ada Lovelace in her Mathematical Context" by Ursula Martin.
Year(s) Of Engagement Activity 2017
URL https://www.english.ox.ac.uk/event/science-medicine-and-culture-19th-century-seminar-ada-lovelace-he...
 
Description Distinguished Lecture St Andrews 
Form Of Engagement Activity A talk or presentation
Part Of Official Scheme? No
Geographic Reach National
Primary Audience Public/other audiences
Results and Impact Distinguished Lecture, for Ada Lovelace Day. "What every computer scientist should know about computer science history" - Ursula Martin. Held at the Byre Theatre, St Andrews.
Year(s) Of Engagement Activity 2017
URL https://blogs.cs.st-andrews.ac.uk/csblog/2017/10/19/distinguished-lecture-series-2017-professor-ursu...
 
Description Edge, edge.com 
Form Of Engagement Activity Engagement focused website, blog or social media channel
Part Of Official Scheme? No
Geographic Reach International
Primary Audience Media (as a channel to the public)
Results and Impact 'Abstraction' answer to Edge's Annual Question "What Scientific Term or Concept Ought To Be More Widely Known?"
Year(s) Of Engagement Activity 2017
URL https://www.edge.org/response-detail/27205
 
Description Fenner Tanswell - Go forth and multiply! Imperatives in mathematical proofs (talk in INI Big Proof Social Proof Seminar) 
Form Of Engagement Activity A talk or presentation
Part Of Official Scheme? No
Geographic Reach International
Primary Audience Professional Practitioners
Results and Impact In this talk I emphasised the activity of proving in securing mathematical knowledge. I draw on observations of the language used in mathematical proofs to argue that the proofs themselves can contain a mix of propositional and imperatival content, very much in the style of a recipe or set of instructions for other mathematicians to carry out the same proving activity. This also applies to diagrams in proofs, which I compare to instructions for LEGO models and Ikea furniture. The idea is that this will provides a natural picture of informal proofs and their epistemic significance, fitting in with modern approaches in epistemology, especially on knowledge-how and virtue epistemology.
Year(s) Of Engagement Activity 2017
URL https://www.newton.ac.uk/seminar/20170718153016002
 
Description Fenner Tanswell: Conceptual Engineering for Mathematical Concepts (27th Novembertagung on the History of Mathematics) 
Form Of Engagement Activity A talk or presentation
Part Of Official Scheme? No
Geographic Reach International
Primary Audience Professional Practitioners
Results and Impact Lecture to philosophers.
Year(s) Of Engagement Activity 2016
 
Description Fenner Tanswell: Conceptual Engineering for Mathematical Concepts (Friday Graduate Seminar, St Andrews, October 2016) 
Form Of Engagement Activity A talk or presentation
Part Of Official Scheme? No
Geographic Reach Local
Primary Audience Postgraduate students
Results and Impact A talk presented to an audience of philosophers
Year(s) Of Engagement Activity 2016
 
Description Fenner Tanswell: Proof, Rigour and Mathematical Virtues 
Form Of Engagement Activity A talk or presentation
Part Of Official Scheme? No
Geographic Reach International
Primary Audience Professional Practitioners
Results and Impact This talk investigated the application of virtue epistemology to specifically mathematical knowledge. It argued the case that this provides us with the tools to account for informal proofs and the nature of rigour as they are found in mathematical practice, overcoming obstacles that rule out the opposing formalist-reductionist approach. Furthermore, virtue-theoretic terminology allows us to make sense of a great deal of other phenomena of mathematics in practice.
Year(s) Of Engagement Activity 2017
 
Description Fenner Tanswell: Proof, Rigour and Mathematical Virtues (Oxford Philosophy of Mathematics Seminar) 
Form Of Engagement Activity A talk or presentation
Part Of Official Scheme? No
Geographic Reach Local
Primary Audience Professional Practitioners
Results and Impact An investigation the application of virtue epistemology to specically mathematical knowledge. The talk argued that this provides us with the tools to account for informal proofs and the nature of rigour as they are found in mathematical practice, overcoming obstacles that rule out the opposing formalist-reductionist approach. The talk included a case study of the ongoing difficulties with verifying the correctness of Mochizuki's proof of the abc conjecture.
Year(s) Of Engagement Activity 2016
 
Description Fenner Tanswell: Proofs Gone Wrong, European Congress of Analytic Philosophy 
Form Of Engagement Activity A talk or presentation
Part Of Official Scheme? No
Geographic Reach International
Primary Audience Professional Practitioners
Results and Impact To find out about what makes for good reasoning in mathematics it is helpful to investigate what is wrong with bad mathematical reasoning. In this talk, we draw out various ways in which mathematical reasoning can be defective. Our focus is on mathematical proofs. Proofs cannot only be logically flawed, they can be inappropriate for the audience or context, boring, sloppy, make use of too much "heavy machinery" of mathematics, etc. Building on our previous work of bringing virtue-theory to the philosophy of mathematics, we investigate cases of flawed mathematical reasoning to get a grip on intellectual vices in mathematics.
Year(s) Of Engagement Activity 2017
URL http://analyticphilosophy.eu/wp-content/uploads/2017/07/symposium_antonutti_marfori.pdf
 
Description Fenner Tanswell: Proving Activities and Collaborative Mathematics, talk at Group Knowledge and Mathematical Collaboration workshop, University of Oxford, 8th-9th April 2017 
Form Of Engagement Activity A talk or presentation
Part Of Official Scheme? No
Geographic Reach International
Primary Audience Professional Practitioners
Results and Impact Discuss the relationship between proof and collaboration/"group knowledge". If we look at proofs, we see that they are often full of imperatives and descriptions of activities. Taking these seriously will furnish us with insights on a number of topics: The language of mathematics, informal proofs, diagrammatic proofs, the epistemic significance of proving, and collaborative proofs.
Year(s) Of Engagement Activity 2017
URL https://mathscollaboration.wordpress.com/33-2/
 
Description Fenner Tanswell: The Epistemic Significance of Proving, Association for Symbolic Logic, 2017 North American meeting 
Form Of Engagement Activity A talk or presentation
Part Of Official Scheme? No
Geographic Reach International
Primary Audience Professional Practitioners
Results and Impact In this talk I will emphasise the activity of proving in securing mathematical knowledge. I will be drawing on observations of the language used in mathematical proofs to argue that the proofs themselves are a mix of propositions and imperatives, very much in the style of a recipe or set of instructions for other mathematicians to carry out the same proving activity. The suggestion is that this will provide a natural picture of informal proofs and their epistemic significance, fitting in with modern approaches in epistemology. In the final section I will contrast this instructional role with the testimonial role of proofs, arguing that the line between the two becomes blurred as proofs get larger and more massively collaborative.
Year(s) Of Engagement Activity 2017
URL https://asl2017.boisestate.edu/schedule/d/
 
Description Fennner Tanswell - Go Forth and Multiply! Imperatives and Know-How in Proofs, European Congress of Analytic Philosophy 
Form Of Engagement Activity A talk or presentation
Part Of Official Scheme? No
Geographic Reach International
Primary Audience Professional Practitioners
Results and Impact In this talk I emphasised the activity of proving in securing mathematical knowledge. I draw on observations of the language used in mathematical proofs to argue that the proofs themselves can contain a mix of propositional and imperatival content, very much in the style of a recipe or set of instructions for other mathematicians to carry out the same proving activity. This also applies to diagrams in proofs, which I compare to instructions for LEGO models and Ikea furniture. The idea is that this will provides a natural picture of informal proofs and their epistemic significance, fitting in with modern approaches in epistemology, especially on knowledge-how and virtue epistemology.
Year(s) Of Engagement Activity 2017
URL http://analyticphilosophy.eu/ecap9/
 
Description Gabriela Asli Rino Nesin: Extending Inference Anchoring Theory for use with mathematical argumentation 
Form Of Engagement Activity A talk or presentation
Part Of Official Scheme? No
Geographic Reach Local
Primary Audience Professional Practitioners
Results and Impact Presentation on combining real-world data, argumentation theory research, and mathematical subject matter to understand mathematical practice in a way that neither pure socio-anthropological nor pure mathematical research would let us do.
Year(s) Of Engagement Activity 2016
 
Description Gresham College lecture on Ada Lovelace 
Form Of Engagement Activity A talk or presentation
Part Of Official Scheme? No
Geographic Reach International
Primary Audience Professional Practitioners
Results and Impact British Society for the History of Mathematics, "The scientific life of Ada Lovelace" 103 attendees + online reach via lecture video available
Year(s) Of Engagement Activity 2015
URL https://www.gresham.ac.uk/lectures-and-events/the-scientific-life-of-ada-lovelace
 
Description Guildhall London museum display 
Form Of Engagement Activity Participation in an activity, workshop or similar
Part Of Official Scheme? No
Geographic Reach International
Primary Audience Public/other audiences
Results and Impact Ursula Martin advised on Lovelace and De Morgan items.
Year(s) Of Engagement Activity 2018
URL https://www.cityoflondon.gov.uk/things-to-do/visit-the-city/attractions/guildhall-galleries/Pages/su...
 
Description Gunnersbury Museum display 
Form Of Engagement Activity Participation in an activity, workshop or similar
Part Of Official Scheme? No
Geographic Reach International
Primary Audience Public/other audiences
Results and Impact Ursula Martin advised on display concerning Ada Lovelace and her mother.
Year(s) Of Engagement Activity 2018
URL https://thechiswickcalendar.co.uk/gunnersbury-museum-reopens-after-major-refurbishment/
 
Description Hackathon 
Form Of Engagement Activity Participation in an activity, workshop or similar
Part Of Official Scheme? No
Geographic Reach International
Primary Audience Public/other audiences
Results and Impact 45 attendees booked online, and 10 hackspace experts/volunteers. Audience = mixed 'some Oxford students, some local folks, some teenagers, and a group of people all the way from Brunel!'
Year(s) Of Engagement Activity 2015
URL https://findingada.com/event/3d-printing-hackathon/
 
Description Hay Festival 2016 
Form Of Engagement Activity A talk or presentation
Part Of Official Scheme? No
Geographic Reach National
Primary Audience Public/other audiences
Results and Impact "The Scientific Life of Ada Lovelace, A Victorian Computing Visionary" at Audience includes those on the day and those who download the lecture from the podcast. Extra exposure through Dara O' Briain (comedian) and Ursula Martin twitter conversation,
Year(s) Of Engagement Activity 2016
URL https://www.hayfestival.com/p-10705-ursula-martin.aspx?skinid=16
 
Description Hay Festival main programme 
Form Of Engagement Activity A talk or presentation
Part Of Official Scheme? No
Geographic Reach International
Primary Audience Media (as a channel to the public)
Results and Impact Presentation on Ada Lovelace and her life and work.
Year(s) Of Engagement Activity 2018
URL https://www.hayfestival.com/p-13933-ursula-martin.aspx
 
Description House of Lords launch of Bond Review 
Form Of Engagement Activity A press release, press conference or response to a media enquiry/interview
Part Of Official Scheme? No
Geographic Reach National
Primary Audience Policymakers/politicians
Results and Impact Ursula Martin's work cited as evidence of impact of UK maths.
Year(s) Of Engagement Activity 2018
URL https://epsrc.ukri.org/newsevents/news/mathsciencereview/
 
Description ITNOW, Oxford Academic 
Form Of Engagement Activity A magazine, newsletter or online publication
Part Of Official Scheme? No
Geographic Reach International
Primary Audience Media (as a channel to the public)
Results and Impact "Ada Lovelace Computer Scientist" in Issue 4, 1 December 2015, Pages 54-55
Year(s) Of Engagement Activity 2015
URL https://academic.oup.com/itnow/article/57/4/54/460867
 
Description Joseph Corneli - The Hall-Pesenti report and current AI policy 
Form Of Engagement Activity A talk or presentation
Part Of Official Scheme? No
Geographic Reach Local
Primary Audience Other audiences
Results and Impact On October 15, 2017, an independent report "Growing the artificial intelligence industry in the UK" was published in connection with the UK's Industrial Strategy. The co-authors of the report are two noted computer scientists, Dame Wendy Hall and Jérôme Presenti. In this talk I walked through the report, give a brief career profile of the authors, and survey the wider policy landscape. For example, the discussion about AI policy continues in the House of Lords Select Committee on Artificial Intelligence. My aim was to help develop the discussion on the research side -- what opportunities do the current public conversations about AI present for our work?
Year(s) Of Engagement Activity 2017
URL http://web.inf.ed.ac.uk/cisa/events/cisa-seminar-series/previous-seminars/13-november-2017-joe-corne...
 
Description Joseph Corneli: Intelligent machinery via social machines: a proposal 
Form Of Engagement Activity A talk or presentation
Part Of Official Scheme? No
Geographic Reach International
Primary Audience Policymakers/politicians
Results and Impact I presented a sketch of a new project at the nexus of social machines and artificial intelligence. The essence of the proposal is to build a computable model of both the technical content that users contribute to the popular Stack Exchange website, and the epistemic process of learning through Q&A. Agents will build a progressively improved model of the programming and mathematics domains, and fulfil Turing's prophecy that future machines would be able to sharpen their wits by talking to each other.
Year(s) Of Engagement Activity 2017
URL https://enablingmaths.files.wordpress.com/2018/01/intelligent-machinery.pdf
 
Description Joseph Corneli: Modelling the way mathematics is actually done (talk in INI Big Proof Social Proof Seminar) 
Form Of Engagement Activity A talk or presentation
Part Of Official Scheme? No
Geographic Reach International
Primary Audience Other audiences
Results and Impact Presentation on modelling mathematics, taking into account an anthropological orientation, and leading in the direction of simulations of mathematical social organisation.
Year(s) Of Engagement Activity 2017
URL https://www.newton.ac.uk/seminar/20170726153016302
 
Description Kids/teens "Mini-hack" 
Form Of Engagement Activity Participation in an activity, workshop or similar
Part Of Official Scheme? No
Geographic Reach Local
Primary Audience Schools
Results and Impact Kids/teens "Mini-hack: music and computing workshop". 11-16 year olds explored software, coding and sound, and uploaded their co-created music on mp3s to Touch Board. Event hosted with with Sandbox Education, Digital Scholarship Centre, and MusicTechFest. Inspired by Weston Library's Ada display, the instruments they made included a magical flying horse inspired by Ada Lovelace's desire to fly as a child.
Year(s) Of Engagement Activity 2015
URL https://www.bodleian.ox.ac.uk/whatson/whats-on/upcoming-events/2015/dec/mini-hack
 
Description Lane and Tanswell - coorganizers of Group Knowledge and Mathematical Collaboration, University of Oxford, 8th-9th April 2017 
Form Of Engagement Activity Participation in an activity, workshop or similar
Part Of Official Scheme? No
Geographic Reach International
Primary Audience Professional Practitioners
Results and Impact Mathematics is a deeply social discipline. The stereotype of the "lone genius" is one which does not fit the breadth and depth of mathematical work, which also features everything from one-on-one collaborations to massive collective efforts. Indeed, it is common for proofs of significant theorems to rely on work by many mathematicians working together and in parallel. The most famous example is the proof of the classification of finite simple groups, which relied on the work of scores of mathematicians. Likewise, the polymath project has shown the power of massive collaboration in mathematics at settling open problems and discovering mathematical proofs.

Nonetheless, the new questions that arise for specifically collaborative work on mathematics have received insufficient philosophical attention, unlike parallel questions about the importance of collaboration in science which have received significant attention. Social epistemology and work on group knowledge have in recent years made a great deal of progress on general issues surrounding epistemic cooperation. Similarly, sociological research on mathematical collaboration has revealed much of the everyday workings of mathematics in practice. In this workshop we aim to explore the social dimensions of mathematics, connecting new work in social epistemology, mathematical practice and sociology, in order to gain a better understanding of how collaboration in mathematics produces knowledge, proofs and understanding.

We will address the following questions:

Is there distinctively social knowledge in mathematics?
How can massive mathematical collaboration produce novel proofs and novel theorems?
What are the epistemic benefits of collaboration and the division of cognitive labour in mathematical work?
Can crowdsourcing and online collaboration produce genuine proofs of interesting theorems?
Does it help to view massive collaboration as part of a "social machine" of mathematics?
Year(s) Of Engagement Activity 2017
URL https://mathscollaboration.wordpress.com/
 
Description London review of books, Vol 40, Number 12. 
Form Of Engagement Activity A press release, press conference or response to a media enquiry/interview
Part Of Official Scheme? No
Geographic Reach International
Primary Audience Media (as a channel to the public)
Results and Impact "Gobblebook" by Rosemary Hill, a review of our book alongside Miranda Seymour's.
Year(s) Of Engagement Activity 2018
URL https://www.lrb.co.uk/v40/n12/rosemary-hill/gobblebook
 
Description Lorenzo Lane and Joseph Corneli. Joint presentation "Socialising Mathematical Social Machines" at Hybrid Human-Machine Computing (HHMC): From Human Computation to Social Computing and Beyond: 20 September 2017 - 21 September 2017 
Form Of Engagement Activity A talk or presentation
Part Of Official Scheme? No
Geographic Reach International
Primary Audience Professional Practitioners
Results and Impact Individuals within the mathematical community are integrating computing technologies into their collaborative work processes in innovative ways. We use the examples of PlanetMath, Polymath, and Mathoverflow to explore how online technologies have been adopted and adapted so as to share knowledge, form epistemic communities, and solve problems collaboratively.

We argue that in order for these technologies to be adopted more widely they must be socialized and domesticated within mathematical communities and broader stakeholder groups. This domestication process begins when early adopters experiment with tools and adapt them to their own use. Through this process they come to imbue these technologies with values, making them more acceptable and accessible to wider communities. We document the values of pioneering online communities and understand how these values shape the use and functions of computing technologies within the communities.

Our research draws on participant observation, interviews, and technological interventions. We compare our methods for studying online social machines with research methods suited to offline, in-person, mathematical settings (Lane, 2016). The three communities we focus on have had very different histories, and we have engaged with them in different ways.

The questions of ongoing investment of time and energy, and the demography of participants comprise crosscutting issues of concern particularly in light of competition for user share among similar sites and platforms. The conclusion of Corneli's (2014) thesis anticipated this issue and suggested a turn to a larger mash-up of social machines: Rather than viewing Wikipedia, math.stackexchange.com, and MathOverflow as competitors, they could be seen as potential collaborators and contributors to the same commons resource (they all use the same CC-By-SA license as PlanetMath). In the MathSoMac project we are gathering requirements for the next generation of mathematical social machines. We inform this future-oriented research trajectory using our three case studies to address these core questions:

- How are computing technologies adopted and adapted by mathematicians? What are the social processes involved in this adoption?
- How do the values of mathematical communities shape their use and adoption of computing technologies? Do mathematical social machines differ significantly from those used in other disciplines or from subject non-specific technologies?
- How do these technologies become accepted more widely? What are the barriers/ challenges limiting adoption? How can we design technologies to better suit mathematicians?
- What are the threats to online mathematical communities?
Year(s) Of Engagement Activity 2017
URL http://www.ias.surrey.ac.uk/workshops/HHMC2017/
 
Description Lorenzo Lane: Coordinating Visions: Documenting collaborative knowledge production at mathematics institutes 
Form Of Engagement Activity A talk or presentation
Part Of Official Scheme? No
Geographic Reach International
Primary Audience Professional Practitioners
Results and Impact This presentation was based upon 6 months of ethnographic research at 4 leading mathematics institutes in Europe. The research was designed to study the processes by which mathematicians develop common perspectives, problems and reference frames. The presentation demonstrated how the creation of these shared cognitive resources is supported by the physical, social, and linguistic environments individuals inhabit. Sharing physical, communicative and social spaces facilitates the production of shared conceptual spaces, which leads to goals, visions, and solutions to problems being more easily coordinated.
Year(s) Of Engagement Activity 2017
URL http://analyticphilosophy.eu/ecap9/ecap-9-program/
 
Description Lorenzo Lane: Coordinating Visions: Documenting collaborative knowledge production at mathematics institutes - Presentation at Group Knowledge and Mathematical collaboration event 
Form Of Engagement Activity A talk or presentation
Part Of Official Scheme? No
Geographic Reach National
Primary Audience Professional Practitioners
Results and Impact This presentation was based upon 6 months of ethnographic research at 4 leading mathematics institutes in Europe. Sharing physical, communicative and social spaces, I argue, facilitates the production of shared conceptual spaces, which leads to goals, visions, and solutions to problems being more easily coordinated.
Year(s) Of Engagement Activity 2017
URL http://www.ox.ac.uk/staff/event/group-knowledge-and-mathematical-collaboration
 
Description Lorenzo Lane: Random Walks: Exploring the Role of Serendipity in maths, presentation at AISB Member Workshop VII 
Form Of Engagement Activity A talk or presentation
Part Of Official Scheme? No
Geographic Reach National
Primary Audience Professional Practitioners
Results and Impact Individuals build up mathematical intuition and mathematical perception through encountering and interrogating phenomena in the mathematical landscape. These encounters often are not planned in advance, but rather emerge through chance, through wandering in the field. During these wanderings mathematicians map out the mathematical landscape, creating local maps and pathways between mathematical structures. These local maps are comprised of personally relevant reference objects which serve to generate the perceptual lenses by which the global field is apprehended. Mathematicians' understanding of the global field is thus constituted on the basis of their assemblies of local reference objects, which serve as perceptual anchor points. In the following presentation I will present observations and interviews with mathematicians collected over 6 months of ethnographic fieldwork at 4 European mathematics institutes. I will provide insight into how local, on the spot engagements with mathematical phenomena generate unique vantage points from which to view and constitute the mathematical field.
Year(s) Of Engagement Activity 2017
URL http://ccg.doc.gold.ac.uk/serendipitysymposium
 
Description Lorenzo Lane: Show you're working: Exploring visibility, productivity and competition in mathematics institutes, at International Congress for History of Science and Technology, 23 to 29 July 2017 
Form Of Engagement Activity A talk or presentation
Part Of Official Scheme? No
Geographic Reach International
Primary Audience Professional Practitioners
Results and Impact Through 6 months of ethnographic observations at 4 leading European mathematics research institutes I document how mathematicians present themselves and their ideas within different social and spatial contexts. I explore how these presentations of Self change as a function of the local contexts within which the performance takes place, as well as the global contexts of the wider field of mathematical production. At a local level I explore how performances of self and ideas change as a function of the formality and privacy of physical space. Performances are a means of communicating certain values to the community, and thereby serve to relate the individual to the global field of discourse. I relate the local practices involved in producing mathematics in mathematics research institutes to the global field of discourse within which such practices are valued and oriented. Using ethnographic observations, interviews, and textual materials collected over 6 months of ethnographic fieldwork at 4 leading European mathematics research institutes, I study how knowledge and identity are presented, produced and performed within different social settings. I show how knowledge is transformed as it moves from private, informal settings to public, formal stages of presentation, demonstrating how the processes of "working-out", "writing up" and "writing out" serve to select, sort, and sanitise knowledge, so that it conforms to certain aesthetic criteria. These different presentations of knowledge and self, I explain, are influenced by the wider field of discourse within which mathematicians are situated. Using Bourdieu's (1980) notion of field, habitus and practice, as well as Goffman's (1959) work on theatres of performance, I describe the social mechanisms by which productivity, visibility and competitiveness relate public discourse to private practice, and allow us to understand how the idea of a "global" mathematics can be realised on multiple local scales.
Year(s) Of Engagement Activity 2017
 
Description Lorenzo Lane: Socialising Mathematical Social Machines: Exploring the Transformative Role of Web Technologies 
Form Of Engagement Activity A talk or presentation
Part Of Official Scheme? No
Geographic Reach International
Primary Audience Professional Practitioners
Results and Impact This talk argued that although the rhetoric surrounding the development of social machines in mathematics concerns the democratisation of knowledge, open access and equality of opportunity, the values actually promoted by social machines are instead oriented towards replicating existing power structures within the mathematical community. The social machines that mathematicians have built are geared towards privileging the presentation of the self: maintaining hierarchy, enhancing status, reputation and visibility and demonstrating efficacy, competitiveness and productivity. The transformative potentials of web technologies thus are constrained by existing social structures of the communities within which they are assimilated.
Year(s) Of Engagement Activity 2017
 
Description Lorenzo Lane: Socialising mathematical social machines: Transformations and reproductions of mathematical values, Social Informatics Seminar 15th September 2017 
Form Of Engagement Activity A talk or presentation
Part Of Official Scheme? No
Geographic Reach Local
Primary Audience Professional Practitioners
Results and Impact Social machines are thus becoming part of the mainstream of mathematical practice. The question is: to what extent are these technologies transforming the field of mathematics? By exploring the processes by which these socio-technical systems are socialised I wish to understand how the transformative potential of social machines are restricted by the dominant discourse of the field. I shall argue that although the rhetoric surrounding the development of social machines in mathematics concerns the democratisation of knowledge, open access and equality of opportunity, the values actually promoted by social machines are instead oriented towards replicating existing power structures within the mathematical community. The social machines that mathematicians have built are geared towards privileging the presentation of the self: maintaining hierarchy, enhancing status, reputation and visibility and demonstrating efficacy, competitiveness and productivity. The transformative potentials of web technologies thus are constrained by existing social structures of the communities within which they are assimilated.
Year(s) Of Engagement Activity 2017
 
Description Lorenzo Lane: Socialising proof (talk in INI Big Proof Social Proof Seminar) 
Form Of Engagement Activity A talk or presentation
Part Of Official Scheme? No
Geographic Reach International
Primary Audience Professional Practitioners
Results and Impact This presentation explored the social mechanisms involved in validating proofs within pure mathematics. It used the high profile example of Mochizuki's Proof of the ABC conjecture to demonstrate the challenges involved in validating proofs. The acceptance of proofs depends upon their conformity to certain standards, on possessing relationships to existing bodies of knowledge, as well as being certified by reputable members of the community of practice. Proofs thus need to be socialised before they can be fully accepted. I demonstrate the specific socialisation processes Mochizuki's proof underwent, and explore the continuing challenges the proof encounters in its bid to gain legitimacy within the mathematical community.
Year(s) Of Engagement Activity 2017
URL https://www.newton.ac.uk/seminar/20170718160016302
 
Description Malvern St James OGA News 
Form Of Engagement Activity A magazine, newsletter or online publication
Part Of Official Scheme? No
Geographic Reach Regional
Primary Audience Schools
Results and Impact Malvern St James OGA News, "Old Girl's Association" Spring 2018. Pages 12-13, "Alumnae Focus: Prof Ursula Martin".References Ursula Martin school talks and has some nice photos.
Year(s) Of Engagement Activity 2018
 
Description Maths /music event Manchester 
Form Of Engagement Activity Participation in an activity, workshop or similar
Part Of Official Scheme? No
Geographic Reach National
Primary Audience Professional Practitioners
Results and Impact 'In Conversation with Emily Howard: Exploring Mathematics, Music and Literature', inspired by Mathematics + Modern Literature Conference, 3-4th May, University of Manchester, Ursak Martin, Emily Howard and RNCM's Mathias Quartet
Year(s) Of Engagement Activity 2018
URL https://mathematicsandmodernliterature.files.wordpress.com/2018/05/programme-for-mathematics-and-mod...
 
Description Medium online article 
Form Of Engagement Activity A magazine, newsletter or online publication
Part Of Official Scheme? No
Geographic Reach International
Primary Audience Media (as a channel to the public)
Results and Impact "Ada Lovelace, determined learner", Oxford University. Story has 178 "claps" on Medium.
Year(s) Of Engagement Activity 2018
URL https://medium.com/oxford-university/ada-lovelace-determined-learner-c7998ae7d9d8
 
Description Museum display at Science Museum London 
Form Of Engagement Activity Participation in an activity, workshop or similar
Part Of Official Scheme? No
Geographic Reach International
Primary Audience Public/other audiences
Results and Impact Ursula Martin advised on Ada Lovelace display. 9 October 2015 - 31 March 2016
Year(s) Of Engagement Activity 2015
URL https://www.sciencemuseum.org.uk/about-us/press-office/ada-lovelaces-remarkable-story-be-celebrated-...
 
Description New Scientist Online 
Form Of Engagement Activity A press release, press conference or response to a media enquiry/interview
Part Of Official Scheme? No
Geographic Reach International
Primary Audience Media (as a channel to the public)
Results and Impact New Scientist Online, News, Technology - Comment 'Time to bust the myth that Ada Lovelace was an overhyped aristo'
Year(s) Of Engagement Activity 2017
URL https://www.newscientist.com/article/2142111-time-to-bust-the-myth-that-ada-lovelace-was-an-overhype...
 
Description Oxford Literary Festival 
Form Of Engagement Activity Participation in an open day or visit at my research institution
Part Of Official Scheme? No
Geographic Reach Regional
Primary Audience Public/other audiences
Results and Impact Presentation on Ada Lovealce Book, joint event with with Miranda Seymour.
Year(s) Of Engagement Activity 2018
URL http://oxfordliteraryfestival.org/literature-events/2018/march-19/ada-lovelace-the-making-of-a-compu...
 
Description Oxford PG workshop 
Form Of Engagement Activity Participation in an activity, workshop or similar
Part Of Official Scheme? No
Geographic Reach International
Primary Audience Postgraduate students
Results and Impact "Texts and contexts: the cultural legacies of Ada lovelace" . Bicentennial, workshop aimed at graduates and early career researchers. Speaker themes of artistic legacies, computing, Ada's brains, and public engagement With Mathematical Institute, precursor to Bicentennial Symposium
Year(s) Of Engagement Activity 2015
URL https://adalovelaceworkshop.wordpress.com/about/
 
Description Press release in Ada-Europe, Volume 36, Number 3, page 147. 
Form Of Engagement Activity A press release, press conference or response to a media enquiry/interview
Part Of Official Scheme? No
Geographic Reach International
Primary Audience Professional Practitioners
Results and Impact Invitation to Oxford's interdisciplinary Ada Lovelace Symposium (below, on 9/10 Dec 2015), to an audience of academics/researchers/students in Europe.
Year(s) Of Engagement Activity 2015
URL http://www.ada-europe.org/archive/auj/auj-36-3.pdf
 
Description Press release in in London Mathematical Society newsletter No.451, pages 26-27. 
Form Of Engagement Activity A press release, press conference or response to a media enquiry/interview
Part Of Official Scheme? No
Geographic Reach National
Primary Audience Professional Practitioners
Results and Impact Invitation to Oxford's interdisciplinary Ada Lovelace Symposium ( 9/10 Dec 2015), with description of the Bodleian display. Aimed towards academics/researchers/students.
Year(s) Of Engagement Activity 2015
 
Description Public digital archive 
Form Of Engagement Activity Engagement focused website, blog or social media channel
Part Of Official Scheme? No
Geographic Reach International
Primary Audience Public/other audiences
Results and Impact Open access, digitized archive resource has Ada Lovelace's mathematical papers and letters, and can be used by interested public, students or other researchers.
Year(s) Of Engagement Activity 2015
URL http://www.claymath.org/publications/ada-lovelaces-mathematical-papers
 
Description Queen's College Newsletter 
Form Of Engagement Activity A magazine, newsletter or online publication
Part Of Official Scheme? No
Geographic Reach National
Primary Audience Media (as a channel to the public)
Results and Impact "Ada Lovelace in the Archives" , Article on working with the Lovelace papers in the Bodleian; magazine sent to the Old Members of the college.Queen's College Newsletter article (pp.14-15)
Year(s) Of Engagement Activity 2017
URL https://www.queens.ox.ac.uk/sites/www.queens.ox.ac.uk/files/Newsletter-Trinity-Term-2017.pdf
 
Description Raymond Flood lecture 
Form Of Engagement Activity A talk or presentation
Part Of Official Scheme? No
Geographic Reach National
Primary Audience Undergraduate students
Results and Impact "Charles Babbage and Ada Lovelace" by Prof Raymond Flood, at the Museum of London. This talk references Chris Hollings, Ursula Martin, Adrian Rice project as related to Ada & Babbage correspondence archives, and has link to Ursula Martin's 2015 Gresham Ada lecture
Year(s) Of Engagement Activity 2016
URL http://www.gresham.ac.uk/lectures-and-events/babbage-and-lovelace
 
Description STEM Access Event, Wadham College, Oxford. 
Form Of Engagement Activity Participation in an activity, workshop or similar
Part Of Official Scheme? No
Geographic Reach Regional
Primary Audience Schools
Results and Impact Short lecture on Lovelace to a 50 15-16 year old schoolgirls from 9 schools in the the surrounding regions of England. As part of a larger event encouraging secondary school girls to pursue further education / careers in STEM.
Year(s) Of Engagement Activity 2015
URL https://www.wadham.ox.ac.uk/news/2015/november/in-the-footsteps-of-ada-lovelace
 
Description Schools talk Malvern Girls College 
Form Of Engagement Activity A talk or presentation
Part Of Official Scheme? No
Geographic Reach Regional
Primary Audience Schools
Results and Impact Schools talk Malvern Girls College
Year(s) Of Engagement Activity 2017
 
Description Scientific American blog 
Form Of Engagement Activity A magazine, newsletter or online publication
Part Of Official Scheme? No
Geographic Reach International
Primary Audience Media (as a channel to the public)
Results and Impact Scientific American website, "Observations" blog'' Ada Lovelace Day honors the "first computer programmer" - An article about Ada Lovelace Day, with quotes from project researchers about Ada and her work.
Year(s) Of Engagement Activity 2017
URL https://blogs.scientificamerican.com/observations/ada-lovelace-day-honors-the-first-computer-program...
 
Description The Conversation 
Form Of Engagement Activity A magazine, newsletter or online publication
Part Of Official Scheme? No
Geographic Reach International
Primary Audience Media (as a channel to the public)
Results and Impact 'Mathematical Winters: Ada Lovelace, 200 years on'
Year(s) Of Engagement Activity 2015
URL https://theconversation.com/mathematical-winters-ada-lovelace-200-years-on-52521
 
Description The Guardian. Book review 
Form Of Engagement Activity A press release, press conference or response to a media enquiry/interview
Part Of Official Scheme? No
Geographic Reach National
Primary Audience Policymakers/politicians
Results and Impact "In Byron's Wake and Ada Lovelace reviews - computing reputations" by Kathryn Hughes. A review of our book alongside Miranda Seymour's.
Year(s) Of Engagement Activity 2018
URL https://www.theguardian.com/books/2018/apr/28/in-byrons-wake-ada-lovelace-review-computing-reputatio...
 
Description The Register- Biting the Hand that Feeds IT online magazine 
Form Of Engagement Activity A magazine, newsletter or online publication
Part Of Official Scheme? No
Geographic Reach National
Primary Audience Media (as a channel to the public)
Results and Impact Less formal article, mentions Symposium at Oxford, though in book terms mostly focuses on Padua.
Year(s) Of Engagement Activity 2016
URL https://www.theregister.co.uk/2016/01/08/lovelace_at_two_hundred_babbage_computing/
 
Description Times Higher 
Form Of Engagement Activity A press release, press conference or response to a media enquiry/interview
Part Of Official Scheme? No
Geographic Reach International
Primary Audience Media (as a channel to the public)
Results and Impact Times Higher "New and Noteworthy" section included a short review of our book.
Year(s) Of Engagement Activity 2018
URL https://www.timeshighereducation.com/books/reviews-new-and-noteworthy-26-april-2018
 
Description Times Literary Supplement, TLS Online article 
Form Of Engagement Activity Engagement focused website, blog or social media channel
Part Of Official Scheme? No
Geographic Reach International
Primary Audience Media (as a channel to the public)
Results and Impact ''Ada Lovelace and the Abstract Machine' by Ursula Martin. Talks about Ada's life, her studying with de Morgan and working with Babbage, the Analytical Engine and finishing with a thought of how context can shape science.
Year(s) Of Engagement Activity 2016
URL https://www.the-tls.co.uk/articles/public/ada-lovelaces-abstract-machine/
 
Description Toppings Bookshop, St Andrews 
Form Of Engagement Activity Participation in an activity, workshop or similar
Part Of Official Scheme? No
Geographic Reach Local
Primary Audience Industry/Business
Results and Impact Toppings Bookshop, St Andrews. Public talk and book signing.
Year(s) Of Engagement Activity 2018
URL https://www.toppingbooks.co.uk/events/st-andrews/ada-lovelace-the-making-of-a-computer-scientist/
 
Description UCL Centre for Digital Humanities 
Form Of Engagement Activity A talk or presentation
Part Of Official Scheme? No
Geographic Reach National
Primary Audience Public/other audiences
Results and Impact Presentation on Ada Lovelace and her life and work
Year(s) Of Engagement Activity 2016
URL https://www.eventbrite.co.uk/e/ucldh-seminar-series-ada-lovelace-a-scientist-in-the-archives-tickets...
 
Description University of Edinburgh Skype lecture for Ada Lovelace day. 
Form Of Engagement Activity Participation in an activity, workshop or similar
Part Of Official Scheme? No
Geographic Reach National
Primary Audience Undergraduate students
Results and Impact "Ada Lovelace and her mentors" , pre-recorded lecture to a predominantly Computer Science student and staff audience.
Year(s) Of Engagement Activity 2016
URL https://media.ed.ac.uk/media/1_bxzi81zq
 
Description University of Oxford Research in Conversation 
Form Of Engagement Activity A broadcast e.g. TV/radio/film/podcast (other than news/press)
Part Of Official Scheme? No
Geographic Reach International
Primary Audience Undergraduate students
Results and Impact Short interviews about 'the first program' (Ursula Martin) & Lovelace's maths (Chris Hollings)
Year(s) Of Engagement Activity 2015
URL http://www.ox.ac.uk/research/research-in-conversation/ada-lovelace
 
Description University of the third age, Cambridge 
Form Of Engagement Activity A talk or presentation
Part Of Official Scheme? No
Geographic Reach National
Primary Audience Public/other audiences
Results and Impact Part of Cambridge's "University of the third age" series of guest lectures continuing every Wednesday through 2018.
Year(s) Of Engagement Activity 2017
URL https://u3ac.org.uk/wp-content/uploads/2014/06/Wednesday-Lectures-archives.pdf
 
Description Ursula Martin - coorganiser of INI Big Proof summer programme 
Form Of Engagement Activity Participation in an activity, workshop or similar
Part Of Official Scheme? No
Geographic Reach International
Primary Audience Other audiences
Results and Impact Proofs as constructive demonstrations of mathematical validity have been at the heart of mathematics since antiquity. Formal proof systems capture the definitions, statements, and proofs of mathematical discourse using precisely defined formal languages and rules of inference. Formal proofs have enabled mathematicians to rigorously explore foundational issues of expressiveness, consistency, independence, completeness, computability, and decidability. The formalisation of proof facilitates the representation and manipulation of mathematical knowledge with modern digital computers. During the last sixty years, the digitisation of formal mathematics has yielded satisfiability solvers, rewriting engines, computer algebra systems, automated theorem provers, and interactive proof assistants. Proof technology can be used to perform large calculations reliably, solve systems of constraints, discover and visualise examples and counterexamples, simplify expressions, explore hypotheses, navigate large libraries of mathematical knowledge, capture abstractions and patterns of reasoning, and interactively construct proofs. The scale and sophistication of proof technology is approaching a point where it can effectively aid human mathematical creativity at all levels of expertise. Modern satisfiability solvers can efficiently solve problems with millions of Boolean constraints in hundreds of thousands of variables. Automated theorem provers have discovered proofs of open problems. Interactive proof assistants have been used to check complicated mathematical proofs such as those for the Kepler's conjecture and the Feit-Thompson odd order theorem. Such systems have also been applied to the verification of practical artifacts such as central processing units (CPUs), compilers, operating system kernels, file systems, and air traffic control systems. Several high-level programming languages employ logical inference as a basic computation step.

This programme is directed at the challenges of bringing proof technology into mainstream mathematical practice. The specific challenges addressed include

Novel pragmatic foundations for representing mathematical knowledge and vernacular inspired by set theory, category theory, and type theory.
Large-scale formal mathematical libraries that capture background knowledge spanning a range of domains.
Algorithmic and engineering issues in building and integrating large-scale inference engines.
The social exploration and curation of formalised mathematical and scientific knowledge.
Educational proof technology in support of collaborative learning.

This programme brings together mathematicians interested in employing proof technology in their research, logicians exploring pragmatic and foundational issues in the formalisation of mathematics, and computer scientists engaged in developing and applying proof technology. The programme includes a week-long workshop exploring foundational, theoretical, and practical challenges in exploiting proof technology to transform mathematical practice across a range of scientific and engineering disciplines. A key expected output is a concrete, long-term research agenda for making computational inference a basic technology for formalising, creating, curating, and disseminating mathematical knowledge in digital form.
Year(s) Of Engagement Activity 2017
URL https://www.newton.ac.uk/event/bpr
 
Description Ursula Martin et al. organised Enabling Mathematical Cultures, 5-7 December, Oxford, UK 
Form Of Engagement Activity Participation in an activity, workshop or similar
Part Of Official Scheme? No
Geographic Reach International
Primary Audience Professional Practitioners
Results and Impact This workshop with 36 attendees in total celebrated the completion of the EPSRC-funded project "Social Machines of Mathematics", led by Professor Ursula Martin at the University of Oxford. We presented research arising from the project, and brought together interested researchers who want to build upon and complement our work. We invited interested researchers from a broad range of fields, including: Computer Science, Philosophy, Sociology, History of Mathematics and Science, Argumentation theory, and Mathematics Education. Through such a diverse mix of disciplines we aim to foster new insights, perspectives and conversations around the theme of Enabling Mathematical Cultures.
Year(s) Of Engagement Activity 2017
URL https://enablingmaths.wordpress.com/
 
Description Ursula Martin: Creativity and the Future of Proof (ZiF, Bielefeld) 
Form Of Engagement Activity A talk or presentation
Part Of Official Scheme? No
Geographic Reach International
Primary Audience Professional Practitioners
Results and Impact A description of the state of art of machine proof, social machines, and a perspective on human activity in mathematics using metaphors of landscape, journey, and craft.
Year(s) Of Engagement Activity 2016
 
Description Ursula Martin: The scientific life of Ada Lovelace (BCS Oxford, 13th Oct 2016) 
Form Of Engagement Activity A talk or presentation
Part Of Official Scheme? No
Geographic Reach Regional
Primary Audience Professional Practitioners
Results and Impact Ada, Countess of Lovelace (1815-1852) is best known for a remarkable article about Babbage's unbuilt computer, the Analytical Engine. This not only presented the first documented computer program, but also, going well beyond Babbage's ideas of computers as manipulating numbers, outlined their creative possibilities and the limits of what they could do. Lovelace's contribution was highlighted in one of Alan Turing's most famous papers "Can a machine think?".

The comprehensive archive of Lovelace's papers preserved in Oxford's Bodleian Library displays Lovelace's wide scientific interests in everything from geology to acoustics to chemistry to mesmerism to photography; her exchanges with leading scientists such as Faraday, Babbage and Somerville; her correspondence course in mathematics with De Morgan, a leading mathematician of the day and pioneer in logic and algebra; and her grasp of the potential of mathematics whether to model a "calculus of the nervous system" or as a uniting link between the material and symbolic worlds.

In this talk we start to explore Lovelace, her background, her scientific ideas and her contemporary legacy.
Year(s) Of Engagement Activity 2016
URL http://www.bcs.org/content/conEvent/10595
 
Description Ursula Martin: The social machine of mathematics, talk at INI Big Proof 
Form Of Engagement Activity A talk or presentation
Part Of Official Scheme? No
Geographic Reach International
Primary Audience Other audiences
Results and Impact This talk discussed the question "How does mathematics come about?" It argued that formal proof is only part of the story. It presented the results of highly interdisciplinary work, using philosophy, social scence and history alongside computer science research in artificial intelligence, argumentation theory and verification, to show the scope for new techniques to support concept formation and argument finding, while highlighting the roles that risk, doubt, error, explanation and group knowledge play in the human production and use of mathematics.
Year(s) Of Engagement Activity 2017
URL https://www.newton.ac.uk/seminar/20170712143015301
 
Description Wadham College, Oxford 
Form Of Engagement Activity A talk or presentation
Part Of Official Scheme? No
Geographic Reach National
Primary Audience Other audiences
Results and Impact Presentation on Ada Lovelace and her life and work.
Year(s) Of Engagement Activity 2018
URL https://twitter.com/PV_Physicist/status/985913025378115584
 
Description Wellcome Unit for the History of Medicine 
Form Of Engagement Activity A talk or presentation
Part Of Official Scheme? No
Geographic Reach Regional
Primary Audience Postgraduate students
Results and Impact "Ada Lovelace: an eminent Victorian in her mathematical context"
Year(s) Of Engagement Activity 2018
URL https://talks.ox.ac.uk/talks/id/3b7db16a-686c-4e95-bdd4-d61fb57650d8/
 
Description Wikimedia edit 
Form Of Engagement Activity Participation in an activity, workshop or similar
Part Of Official Scheme? No
Geographic Reach International
Primary Audience Public/other audiences
Results and Impact Four open digital-based events over the course of 4 days, 12-15 October 2015. Wikipedia: Women in Science 1) Transcribe-a-thon 2) Edit-a-thon 3) Improve-a-thon 4) Image-a-thon Hosted by Bodleian Libraries and Oxford IT Services. Participants (students, staff, interested public, some working remotely) worked together to improve open access Wikisource entries on women in science. The image-a-thon got responses from cultural institutions too, like the John Johnson Collection of Printed Ephemera
Year(s) Of Engagement Activity 2015
URL http://blogs.it.ox.ac.uk/acit-news/2015/10/12/ada-lovelace-day-wikipedia-week/
 
Description cs4fn special issue 
Form Of Engagement Activity A magazine, newsletter or online publication
Part Of Official Scheme? No
Geographic Reach National
Primary Audience Schools
Results and Impact cs4fn is an online and print magazine for UK schools, created by Queen Mary University of London, aimed at encouraging interdisciplinary CS research. Their Ada special issue was based on our work, and Ursula Martin wrote one of the articles. Around 20,000 copies distributed to UK schools, and with activities/games.
Year(s) Of Engagement Activity 2015
URL http://www.cs4fn.org/ada/