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.
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.
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.
People |
ORCID iD |
| Ursula Martin (Principal Investigator / Fellow) |
Publications
Corneli J
(2017)
Intelligent Computer Mathematics
Corneli J
(2019)
Argumentation Theory for Mathematical Argument
in Argumentation
Corneli J
(2017)
Modelling the way mathematics is actually done
Hollings C
(2015)
Three Approaches to Inverse Semigroups
in European Journal of Pure and Applied Mathematics
Hollings C
(2017)
The Lovelace-De Morgan mathematical correspondence: A critical re-appraisal
in Historia Mathematica
Hollings C
(2020)
Two letters from Otto Neugebauer to Thomas Eric Peet on ancient Egyptian mathematics
in Historia Mathematica
Hollings C
(2017)
The early mathematical education of Ada Lovelace
in BSHM Bulletin: Journal of the British Society for the History of Mathematics
Hollings C
(2015)
The acceptance of abstract algebra in the USSR, as viewed through periodic surveys of the progress of Soviet mathematical science
in Historia Mathematica
Hollings CD
(2017)
'Nobody could possibly misunderstand what a group is': a study in early twentieth-century group axiomatics.
in Archive for history of exact sciences
Hollings Christopher D.
(2015)
Scientific Communication Across the Iron Curtain
Lane Lorenzo David
(2017)
Bridge between worlds : relating position and disposition in the mathematical field
Martin U
(2016)
Computational logic and the social
in Journal of Logic and Computation
Martin U
(2015)
ADA Lovelace Computer Scientist
in ITNOW
Meagher L
(2017)
Slightly dirty maths: The richly textured mechanisms of impact
in Research Evaluation
Pease A
(2019)
Explanation in mathematical conversations: an empirical investigation.
in Philosophical transactions. Series A, Mathematical, physical, and engineering sciences
Pease A
(2017)
Lakatos-style collaborative mathematics through dialectical, structured and abstract argumentation
in Artificial Intelligence
Rino Nesin Gabriela Asli
(2016)
Descriptions of groups using formal language theory
Rittberg C
(2018)
Epistemic injustice in mathematics
in Synthese
Tanswell F
(2017)
Conceptual engineering for mathematical concepts
in Inquiry
Tanswell F
(2016)
Logical Studies of Paraconsistent Reasoning in Science and Mathematics
Tanswell F
(2017)
LEGO® and Philosophy: Constructing Reality Brick By Brick
Ursula Martin
(2016)
The Scientific Life of Ada Lovelace
| 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 | Impact case study submitted to 2022 REF by Oxford mathematics Summary of the impact Ada Lovelace, 1815-1852, has an iconic, but controversial, international reputation as the "first programmer". Oxford mathematicians' (including Ursula Martin PI of this grant) research is the first study of her extensive manuscripts by historians of mathematics, and resolves earlier disputes by showing that she was a gifted, perceptive and knowledgeable mathematician. Oxford's research has been a catalyst for new collaborations between mathematicians and curators, composers, and a variety of other partners, who have been empowered and enabled in new creative work: for example, a Silicon Valley exhibition about Lovelace had 450,000 visitors; BBC Newsnight featured a discussion on Lovelace's mathematical ability; and two British composers have created new works based on Lovelace's mathematics. The work has contributed to the commemoration of Lovelace, attracted, inspired and enthused new audiences, changing perceptions of the importance of mathematics, and of female contributions, and stimulated new working practices among Oxford's collaborators. 4. Details of the impact We present impacts in the area of creativity, culture and society on a network of collaborators: curators; composers; and a diverse group of media and other professionals who themselves influence public culture and society, together with impact on understanding, learning and participation through contributing to the public commemoration of Ada Lovelace. Impacts on creativity, culture and society: museums and libraries In 2014, Oxford Mathematics were invited by Oxford's Bodleian Library, which holds extensive archives of the Lovelace family, to collaborate in marking Ada Lovelace's 2015 Bicentenary. Following this invitation Hollings, Martin and Rice were given access to the archive during 2014-15 in order to analyse the manuscripts described in section 2. The transcription of the letters [3] was made available online in late 2015. The early (pre-publication) results of this striking research underpinned two events: Oxford's Lovelace Bicentenary Conference (8 Dec 2015, 400 attendees); and a display of Lovelace's mathematical papers co-curated by Martin and Hollings at Oxford's Bodleian Library (Oct-Dec 2015) [A] which attracted 32,394 visitors [B]. In parallel, material from the Lovelace letter archive was loaned to the Science Museum in London for their exhibition on Ada Lovelace (Oct 2015-Mar 2016) [A]. A Lancet review of the two exhibitions praised a "nuanced picture of an original thinker" [C]. The publicity surrounding the conference, exhibition and publication of the transcripts led to enthusiastic approaches from a number of potential collaborators, including British composer Emily Howard and the BBC. Oxford's authoritative work [1, 2, 3] led to further approaches from curators keen to collaborate to present Lovelace, having previously been hampered by the absence of scholarly research to inform curatorial judgement of this controversial figure. Leading on from the Bodleian exhibition, Martin was invited to co-curate a display of facsimile material at the world's largest computing museum, the Computer History Museum in Mountain View, located next to the Google campus at the heart of Silicon Valley. Thinking Big: Ada, Countess of Lovelace opened in late December 2015, with major sponsorship from Google, and ran for 4 years, with a footfall of 450,000 [D, B]. A substantial outreach programme attracted new visitors, especially from under-represented groups: it included a lecture by Martin and Rice to an audience of 600 in person and 6,000 online [G]; weekly "Women in Computing" museum tours for families and the general public; and monthly workshops for local schools targeting girls and minorities [F]. Prior to COVID-19, a version of the display was "on tour", most recently at Facebook's Silicon Valley campus. For the Royal Holloway Exhibition Space in Egham, Martin co-curated 200 Years of Becoming Digital (Sept-Nov 2018), winner of the 2018 Great Exhibitions Prize of the British Society for the History of Science, who praised how it "excellently portrayed the overlooked contribution of women...and captured the audiences' imaginations" [H]. Advice on using material from the Lovelace archive has been given to curators of other Oxford exhibitions, most notably Sappho to Suffrage (Mar 2018-Feb 2019), and to Hinckley and District Museum (Oct 2019), Guildhall Museum (May-Oct 2018), and Gunnersbury Park Museum (June 2018). The impact on museum professionals was assessed through professional impact evaluation [F, G] commissioned by Oxford Mathematics, including in-depth interviews with 13 collaborators, evaluation of sample events, and wider contextual analysis, and is summed up by the Project Evaluator [E]: "The robustness and novelty of the research has empowered curators, cutting through controversy and enabling new activities which use history to provoke audience reflection on current and future cultural issues. In a change to current practice, curators now recognise the value of future such collaborations with mathematicians." For a US curator: "Ada was a very controversial figure and not much is known about her; this was a big deal. Nobody of Oxford's calibre had done this sort of deep dive. When there are current cultural dialogues - using history can help having an exhibit about a female mathematician around this time of cultural discourse on women and their capabilities and contributions to computer science stimulated dialogue on these issues" [F]. An Oxford curator went further, identifying the collaboration as "a strong bit of gas in the tank to push us toward tangible changes in how we work with researchers We had a natural community, humanities, and this very much opened our eyes to the idea of working outwith that community. We do have collections that are scientific or might be of interest to both, humanities and sciences, and the public are interested in that too. We have collections that tell many many more stories. And the idea that we tell a story that starts in the past and moves forward into the current time is a very empowering thing that we have tried to replicate" [F]. Impacts on creativity, culture and society: composers Emily Howard is a British composer with regular commissions from leading international orchestras and concert halls. She presented a 2011 song-cycle inspired by Lovelace at Oxford's 2015 conference, and as a result of discovering the new Oxford research into Lovelace's mathematics she invited Martin to collaborate on a project on Lovelace and AI for London's Barbican Concert Hall. Martin worked with Howard and other composers to interpret Lovelace's mathematical writings, and to recast algorithmic aspects of her work, particularly the functional algebra of [2], in terms of modern AI for use in composition. Howard's resulting composition, But then, what are these numbers?, was a setting of a Lovelace text proposed by Martin, who also advised rising young composer Robert Laidlow on the novel Lovelace percussion instrument he built for his AI-inspired piece Alter. These and other works were premiered by the Britten Sinfonia on 2 November 2019 in a concert Ada Lovelace Imagining the Analytical Engine, part of the Barbican's 2019 AI Festival [I]. The Guardian reviewer enjoyed a "gratifying sense of theatrics", and audience evaluation [G] evidenced enthusiasm for the new concepts (typical comment: "it gave my mind a real work-out"). The significance of the impact on composers, as summarised by the Project Evaluator, was "its catalytic role in the creative processes of composition, in stimulating both well-received new work, and new approaches to composition expected to be of increasing future importance" [E]. Robert Laidlow summed up the impact on his creative processes: "Using these algorithms is a new way of expressing research and music and finding a new way in. We invented a new instrument. We had to learn how to write for it. Those two things were quite significant artistically. It opened up a new methodology for creating specific projects, re-defining the way you can use technology in your work and the way you can approach technology in music. There is a lot of other work coming out of this." [F]. For Emily Howard: "I have a new piece with a new way of thinking. [Oxford's researchers] were fundamentally crucial to me making that piece. I have treated the material so mathematically, which comes from how they explained it. That really fed into the process hugely. My work is based on taking maths and translating it into sound, so having a very clear presentation of Lovelace's maths is very helpful and wasn't presented before [Oxford's book]" [F]. Impacts on understanding, learning and participation: contributing to commemoration of Lovelace and making mathematics accessible As visibility grew, numerous potential collaborators got in touch, seeing the potential for Oxford's research to be a catalyst for devising their own activities which, in turn, influence others in public culture and society. Many of these approaches were associated with Ada Lovelace Day, a global celebration of women in STEM held every October since 2009: its 10th anniversary was marked by a US Senate resolution, drafted with Martin's advice [J]. Science writer Georgina Ferry approached Oxford to collaborate on a two-part BBC Radio 4 dramatisation of Lovelace's letters ('The Letters of Ada Lovelace: The Poetry of Mathematics'; 14 Sept 2015 + 3 repeats). Ferry commented: "Ursula's work helped me to develop a more nuanced picture of what kind of person [Lovelace] was, how serious she was about her mathematics, when she could be." [F, K]. Invited presentations at literary festivals included Hay (2016, 2018), Edinburgh (2018) and Oxford (2018); media work included Radio 3's the Verb (20 April 2018, audience 60,000); BBC Newsnight (11 April 2018, audience 600,000) interviewed Martin about Lovelace's mathematical learning and her 'connectedness' with scholars and others in the society of her time [K]. Oxford Mathematics was approached by The British Computer Society's Computing at School initiative to co-create a Lovelace special issue of its cs4fn magazine (Autumn 2015, 20,000 copies distributed to 2000 schools) [L]. COVID-19 disrupted planned Continuing Professional Development for computing teachers, using Lovelace's work, due for pilot and evaluation from May 2020. Between 2015 and 2019, the Oxford team accepted approximately 40 invitations to work with schools, companies, maths and computing organisations, and local history groups, creating bespoke activities which used the past to stimulate thinking about the present and future, for example presenting Lovelace in the context of technology, local history, or today's women in mathematics. These have reached a total live audience of approximately 7,500, often amplified online, for example as part of the free open lecture programme at Gresham College (150 live + 12,000 online) [G]. Professional evaluation of the audience response to events held in 2019 found that they changed perceptions of participants, who found mathematics "more practical, more socially engaged than I thought"; were surprised and sad at "the erasing of women from history"; with the account of 19C mathematicians as a "community providing support for its members so they can achieve" providing a "more inspiring, more hopeful view" [G]. A general interest book by Hollings, Martin and Rice, Ada Lovelace: the making of a computer scientist, 2018, (translated into Spanish as Ada Lovelace: la formación de una científica informática, 2020) enhanced the accessibility of the research of [1, 2] to non-mathematicians, by-passing the technicalities of Victorian algebra to explain the mathematical content and context at roughly GCSE level: for example, Lovelace's striking diagrams of the Bridges of Königsberg problem are used to illustrate her algorithmic thinking. As of 1 June 2020 the book had sold 2,520 copies and received positive reviews in mainstream, literary and educational publications [M]; comments include "Dusty archives dance into life" (New York Review of Books), "admirable clarity" (Women's History Review), "mathematics explained clearly and in detail" (London Mathematical Society Newsletter) and "The one I'd recommend ... much excitement, of a mathematical flavour" (Association for Women in Mathematics, in a survey for educators of books about Lovelace). Impacts on creativity, culture and society: other collaborators The Project Evaluator's summary reveals that the significance of the impact on the professionals involved in such collaborations was [E]: "The confidence generated by the calibre of the research, and the additional insights provided through working with the Oxford team, empowered collaborators to incorporate Lovelace material in their own professional work. This in turn influenced others, through changing perceptions of the current and future importance of mathematics, and of women's contributions". The Oxford research was of vital significance for these interviewees in interpreting the still controversial Lovelace: "I can talk about her...with much more rigour and confidence and understanding" (UK curator and public intellectual); "[Oxford's] work helped me to develop a more nuanced picture of what kind of person she was, how serious she was about her mathematics" (science writer). The founder of Ada Lovelace Day said: "For me, as a public face promoting Lovelace as a figurehead; I do get a lot of people with negative comments. Having the mathematics letters and the book available means I have an objective base; it is really valuable to have a reliable source to point at. I'm not a scholar. Having a scholar producing work that looks at everything in an even-handed and sensible manner is a godsend. It really is important to re-balance the public view of Lovelace. I haven't had to do this because [Oxford] has done it. Having that available has changed the conversation" [F]. 5. Sources to corroborate the impact [A] Bodleian Libraries website announcement of the Bicentenary exhibition, 8 Oct 2015, naming Martin as co-curator, and corroborating the loan of items to the Science Museum. [B] Emails from (1) the Bodleian Library (June 2020) and (2) the Computer History Museum (June 2020), corroborating attendance figures for their exhibitions. [C] Review of Ada Lovelace exhibitions at the Bodleian Library and London Science Museum, The Lancet, 31 Oct 2015, including quote in section 4. [D] Computer History Museum press release for their Ada Lovelace exhibition on the Globe Newswire website, 10 Dec 2015, corroborating details of the exhibition. [E] Letter, Project Evaluator, the Principal of the Technology Development Group, summarising the benefits of this project for curators, composers and other professional collaborators. [F] Impact Evaluation of Ada Lovelace Project 2015 - 2020, Technology Development Group, June 2020, corroborating benefits to curators, composers and other professional collaborators. Includes details of Computer Science Museum workshops for local schools (pp.15-16) and the BBC Radio dramatisation of Ada Lovelace's letters. [G] Audience Evaluation of Ada Lovelace presentations 2019, Technology Development Group, June 2020, corroborating benefits to participants in events connected to the research. Includes details of the lecture at the Computer History Museum (p.3). [H] Royal Holloway website announcement of the 2018 Great Exhibitions Prize of the British Society for the History of Science, corroborating Martin's involvement in the exhibition [I] Barbican concert programme for 'Ada Lovelace - Imagining the Analytical Engine', 2 Nov 2019, confirming details of the musical works; Martin's participation in the after-show discussion; and the influence on Emily Howard's piece (p.9) and Robert Laidlow's piece (p.10) [J] US Senate Resolution on Ada Lovelace Day: (1) Letter from the Founder of Ada Lovelace Day, who worked on drafting the Resolution, confirming the contribution made by Martin; (2) US Senate Resolution 592 on Ada Lovelace Day, 25 July 2018 [K] Media appearances featuring Ursula Martin and the new analysis of the Lovelace archive: (1) BBC Radio 4's 'The Letters of Ada Lovelace', 14 Sept 2015, crediting the Bodleian Library's Lovelace archive; (2) Twitter clip of Ursula Martin's interview on BBC Newsnight, 11 April 2018; (3) BBC Radio 3's The Verb on 'Algorithms', 20 April 2018, with Ursula Martin [L] Issue 20 of the British Computer Society's cs4fn magazine, 'Ada Lovelace: the computer scientist without a computer', acknowledging Martin as an editor, and funding from her EPSRC research grant EP/K040251/2 (bottom of p.20). [M] Reviews of 'Ada Lovelace: The Making of a Computer scientist': (1) New York Review of Books, 22 Nov 2018, by Jenny Uglow; (2) Women's History Review, 30 Sept 2018, by Patricia Fara; (3) London Mathematical Society Newsletter, May 2019, by Allan Grady, pp.37-38; (4) Association for Women in Mathematics Newsletter, May-June 2019, pp. 20-21. |
| First Year Of Impact | 2015 |
| Sector | Creative Economy,Digital/Communication/Information Technologies (including Software),Education,Culture, Heritage, Museums and Collections |
| Impact Types | Cultural |
| Description | Member UKRI Bond review of maths knowledge transfer |
| Geographic Reach | National |
| Policy Influence Type | Participation in a guidance/advisory committee |
| Impact | The review informed new government policy on investment in research: my paper "Slightly dirty maths: the richly textured mechanisms of impact" formed a substantial part of the cited evidence base |
| URL | https://ktn-uk.co.uk/news/the-era-of-mathematics-review-findings-on-knowledge-exchange-in-the-%20mat... |
| 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 | 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 | 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 | 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/ |