David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
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)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
George Lakoff (1980/2003). Metaphors We Live By. University of Chicago Press.
Aristotle (2013). Poetics. OUP Oxford.
Gerhard Gentzen (1970). The Collected Papers of Gerhard Gentzen. Amsterdam, North-Holland Pub. Co..
Ioannis M. Vandoulakis (1998). Was Euclid's Approach to Arithmetic Axiomatic? Oriens - Occidens 2:141-181.
V. A. Uspensky & Neal Koblitz (1990). Gödel's Incompleteness Theorem. Journal of Symbolic Logic 55 (2):889-891.
Citations of this work BETA
No citations found.
Similar books and articles
Helen Kennedy (2012). Net Work: Ethics and Values in Web Design. Palgrave Macmillan.
Marsha Woodbury (1998). Defining Web Ethics. Science and Engineering Ethics 4 (2):203-212.
Paul R. Smart (2012). The Web-Extended Mind. Metaphilosophy 43 (4):446-463.
Michalis Vafopoulos (2012). Being, Space, and Time on the Web. Metaphilosophy 43 (4):405-425.
Alexandre Monnin & Harry Halpin (2012). Toward a Philosophy of The Web. Metaphilosophy 43 (4):361-379.
Catherine Legg (2007). Ontologies on the Semantic Web. Annual Review of Information Science and Technology 41:407-451.
Paolo Bouquet, Heiko Stoermer & Massimiliano Vignolo (2012). Web of Data and Web of Entities: Identity and Reference in Interlinked Data in the Semantic Web. Philosophy and Technology 25 (1):5-26.
Harry Halpin (2011). Sense and Reference on the Web. Minds and Machines 21 (2):153-178.
William J. Rapaport (2011). How to Study: A Brief Guide. World Wide Web.
Luciano Floridi (2009). Web 2.0 Vs. The Semantic Web: A Philosophical Assessment. Episteme 6 (1):25-37.
Added to index2012-07-17
Total downloads4 ( #404,706 of 1,724,747 )
Recent downloads (6 months)1 ( #349,121 of 1,724,747 )
How can I increase my downloads?