The Web as A Tool For Proving

Metaphilosophy 43 (4):480-498 (2012)
Abstract
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)
DOI 10.1111/j.1467-9973.2012.01758.x
Options
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history
Request removal from index
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 27,220
Through your library
References found in this work BETA
Metaphors We Live By.George Lakoff - 1980 - University of Chicago Press.
The Collected Papers of Gerhard Gentzen.Gerhard Gentzen - 1969 - Amsterdam: North-Holland Pub. Co..

View all 6 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

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 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.

Monthly downloads

Added to index

2012-07-17

Total downloads

8 ( #489,209 of 2,164,598 )

Recent downloads (6 months)

1 ( #347,948 of 2,164,598 )

How can I increase my downloads?

My notes
Sign in to use this feature


Discussion
Order:
There  are no threads in this forum
Nothing in this forum yet.

Other forums