The Web as A Tool For Proving

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

Download options


    Upload a copy of this work     Papers currently archived: 72,856

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library


Added to PP

34 (#340,058)

6 months
1 (#386,040)

Historical graph of downloads
How can I increase my downloads?

References found in this work

Metaphors We Live By.George Lakoff & Mark Johnson - 1980 - University of Chicago Press.
The Collected Papers of Gerhard Gentzen.Gerhard Gentzen - 1969 - Amsterdam: North-Holland Pub. Co..
The Web as a Tool for Proving.Petros Stefaneas & Ioannis M. Vandoulakis - 2014 - In Harry Halpin & Alexandre Monnin (eds.), Philosophical Engineering: Toward a Philosophy of the Web. Wiley-Blackwell. pp. 149-167.

View all 8 references / Add more references

Similar books and articles

Defining Web Ethics.Marsha Woodbury - 1998 - Science and Engineering Ethics 4 (2):203-212.
The Web‐Extended Mind.Paul R. Smart - 2012 - Metaphilosophy 43 (4):446-463.
Being, Space, and Time on the Web.Michalis Vafopoulos - 2012 - Metaphilosophy 43 (4):405-425.
Toward a Philosophy of The Web.Alexandre Monnin & Harry Halpin - 2012 - Metaphilosophy 43 (4):361-379.
Agency and the Semantic Web.Christopher Walton - 2006 - Oxford, England: Oxford University Press.
Ontologies on the Semantic Web.Catherine Legg - 2007 - Annual Review of Information Science and Technology 41:407-451.
Sense and Reference on the Web.Harry Halpin - 2011 - Minds and Machines 21 (2):153-178.