Metaphilosophy 43 (4):480-498 (2012)
The Web may critically transform the way we understand the activity of proving. The Web as a collaborative medium allows the active participation of people with different backgrounds, interests, viewpoints, and styles. Mathematical formal proofs are inadequate for capturing Web-based proofs. This article claims that Web provings can be studied as a particular type of Goguen's proof-events. Web-based proof-events have a social component, communication medium, prover-interpreter interaction, interpretation process, understanding and validation, historical component, and styles. To demonstrate its claim, the article discusses the Kumo and Polymath projects, both of which employ Web-based communication as part of proving. Web proving is a novel type of proving activity that may have a serious impact on the change in mathematical practices, despite the fact that it is not currently a universally acceptable methodology
|Keywords||Timothy Gowers crowdsourcing proof‐event mathematical proof communication media Joseph Amadee Goguen Web proof virtual world mathematical practice|
|Categories||categorize this paper)|
References found in this work BETA
A Genetic Interpretation of Neo-Pythagorean Arithmetic.Ioannis M. Vandoulakis - 2010 - Oriens - Occidens 7:113-154.
Was Euclid's Approach to Arithmetic Axiomatic?Ioannis M. Vandoulakis - 1998 - Oriens - Occidens 2:141-181.
Citations of this work BETA
No citations found.
Similar books and articles
Toward a Philosophy of The Web.Alexandre Monnin & Harry Halpin - 2012 - Metaphilosophy 43 (4):361-379.
Ontologies on the Semantic Web.Catherine Legg - 2007 - Annual Review of Information Science and Technology 41:407-451.
Web of Data and Web of Entities: Identity and Reference in Interlinked Data in the Semantic Web.Paolo Bouquet, Heiko Stoermer & Massimiliano Vignolo - 2012 - Philosophy and Technology 25 (1):5-26.
Web 2.0 Vs. The Semantic Web: A Philosophical Assessment.Luciano Floridi - 2009 - Episteme 6 (1):25-37.
Added to index2012-07-17
Total downloads8 ( #489,209 of 2,164,598 )
Recent downloads (6 months)1 ( #347,948 of 2,164,598 )
How can I increase my downloads?