Bootstrapping the next generation of mathematical social machines

Ursula Martin, Alison Pease, Joseph Corneli

Research output: Contribution to conferenceOtherpeer-review


Tim Berners-Lee defines social machines to be a class of systems “in which the people do the creative work and the machine does the administration.” Here, we note that the ansatz in computational creativity – a subfield of artificial intelligence – is that, in the future if not already, computational systems and agents will also contribute directly to creative work. But it can be presumed that we will use standard social machines to develop the next generation ‘target’ systems, whatever they may be. The domain of mathematics is a particularly interesting and practical place to explore a range of issues in AI and other aspects of computing. Contemporary mathematical practice intersects several areas of computing practice and theory, ranging from computer-mediated communication to formal computational modelling of mathematical argument.
We ask: How will we use the various existing social machines to bootstrap the next edition? How can the idea of programming languages help?
Original languageEnglish
Number of pages2
Publication statusPublished - 21 Jan 2017
EventOff the Beaten Track 2017 -
Duration: 18 Jan 201720 Jan 2017


ConferenceOff the Beaten Track 2017
Internet address


Dive into the research topics of 'Bootstrapping the next generation of mathematical social machines'. Together they form a unique fingerprint.

Cite this