David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Ezio Di Nucci
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). 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 (2010). A Genetic Interpretation of Neo-Pythagorean Arithmetic. Oriens - Occidens 7:113-154.
Ioannis M. Vandoulakis (1998). Was Euclid's Approach to Arithmetic Axiomatic? Oriens - Occidens 2:141-181.
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 downloads6 ( #480,540 of 1,911,917 )
Recent downloads (6 months)2 ( #324,434 of 1,911,917 )
How can I increase my downloads?