Massively collaborative mathematics
@article{Gowers2009MassivelyCM, title={Massively collaborative mathematics}, author={Timothy Gowers and Michael Nielsen}, journal={Nature}, year={2009}, volume={461}, pages={879-881} }
The 'Polymath Project' proved that many minds can work together to solve difficult mathematical problems. Timothy Gowers and Michael Nielsen reflect on the lessons learned for open-source science.
151 Citations
Analyzing Massively Collaborative
Mathematics Projects
- Physics
- 2011
In the increasingly rare segment, the stage curtain is raised to reveal an individual or team performing an unusual stunt, often accompanied by music from the CBS Orchestra ... after about thirty…
ProofPeer: Collaborative Theorem Proving
- Computer Science, MathematicsArXiv
- 2014
It is believed that a successful implementation of collaborative theorem proving is a necessary prerequisite for the formal verification of large systems.
The twin prime conjecture and other curiosities regarding prime numbers
- Mathematics
- 2017
The paper begins with a reference to Riemann’s hypothesis on the sequence of prime numbers, still unproven today, and goes on to illustrate the twin prime conjecture and the more general Polignac’s…
The polymath project: lessons from a successful online collaboration in mathematics
- Computer ScienceCHI
- 2011
An in-depth descriptive history of Polymath is provided, using data analysis and visualization to elucidate the principles that led to its success, and the difficulties that must be addressed before the project can be scaled up.
Computational logic and the social
- Computer ScienceJ. Log. Comput.
- 2016
This paper outlines a research agenda for a new vision of a mathematics social machine, a combination of people, computers, and archives to create and apply mathematics, and places it in the context of verification research, computational logic and Roy Dyckhoff’s pioneering work on computer proof.
Mathematical Arguments and Distributed Knowledge
- Philosophy
- 2013
Because the conclusion of a correct proof follows by necessity from its premises, and is thus independent of the mathematician’s beliefs about that conclusion, understanding how different pieces of…
Group Knowledge and Mathematical Collaboration: A Philosophical Examination of the Classification of Finite Simple Groups
- Philosophy, MathematicsEpisteme
- 2021
This paper considers the philosophical tensions that Steingart uncovers, and uses them to argue that the best account of the epistemic status of the Classification Theorem will be essentially and ineliminably social.
Stumbling Around in the Dark: Lessons from Everyday Mathematics
- MathematicsCADE
- 2015
This essay looks at four case studies to see what the authors can learn about the everyday practice of mathematics, and the role of computer algebra, in particular the GAP system, in the production of mathematics.
ANALYZING THE DISCOURSE OF GEOGEBRA COLLABORATIONS
- Sociology
- 2010
It is argued for a view of mathematics as discourse and for a specific set of complementary approaches to analyzing collaborative math discourse to reveal processes of mathematical group cognition.
Toward a Comparative Cognitive History: Archimedes and D. H. J. Polymath
- Computer ScienceArXiv
- 2012
It is argued that a cognitive history methodology can shed light into the nature of collective intelligence and its differences from individual intelligence.
References
Targeted Development of Registries of Biological Parts
- MedicinePloS one
- 2008
By analyzing inclusion relationships between the sequences of the Registry entries, this work builds a network that can be related to the Registry abstraction hierarchy and extracts the distribution of entry reuse and complexity.