The web as a tool for proving

Stefaneas, P; Vandoulakis, IM

dc.contributor.author	Stefaneas, P	en
dc.contributor.author	Vandoulakis, IM	en
dc.date.accessioned	2014-03-01T02:14:50Z
dc.date.available	2014-03-01T02:14:50Z
dc.date.issued	2012	en
dc.identifier.issn	00261068	en
dc.identifier.uri	https://dspace.lib.ntua.gr/xmlui/handle/123456789/30144
dc.subject	communication media	en
dc.subject	crowdsourcing	en
dc.subject	Joseph Amadee Goguen	en
dc.subject	mathematical practice	en
dc.subject	mathematical proof	en
dc.subject	proof	en
dc.subject	proof-event	en
dc.subject	Timothy Gowers	en
dc.subject	virtual world	en
dc.subject	Web	en
dc.title	The web as a tool for proving	en
heal.type	journalArticle	en
heal.identifier.primary	10.1111/j.1467-9973.2012.01758.x	en
heal.identifier.secondary	http://dx.doi.org/10.1111/j.1467-9973.2012.01758.x	en
heal.publicationDate	2012	en
heal.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. © 2012 The Authors.	en
heal.journalName	Metaphilosophy	en
dc.identifier.doi	10.1111/j.1467-9973.2012.01758.x	en
dc.identifier.volume	43	en
dc.identifier.issue	4	en
dc.identifier.spage	480	en
dc.identifier.epage	498	en