The Web as A Tool For Proving.
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 ar...
| Publicado en: | Metaphilosophy Vol. 43; no. 4; pp. 480 - 499 |
|---|---|
| Autores principales: | , |
| Formato: | Artículo |
| Publicado: |
Wiley-Blackwell
Jul2012
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=77754523&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 77754523 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00261068 9OM jtl: Metaphilosophy issn: 00261068 maglogo: Y pubinfo: dt: Jul2012 vid: 43 iid: 4 pid: 480 pub: Wiley-Blackwell artinfo: ui: 77754523 10.1111/j.1467-9973.2012.01758.x ppf: 480 ppct: 19 formats: fmt: – @attributes: type: T – @attributes: type: P size: 203KB tig: atl: The Web as A Tool For Proving. aug: au: Stefaneas, Petros Vandoulakis, Ioannis M. affil: Department of Mathematics, National Technical University of Athens, Polytechnioupolis Zografou, 9 Heroon Polytechniou St., GR‐15780 Zografou, Greece Hellenic Open University, Studies in European Civilization, 1 Ias. Maratou St., GR‐15773 Zografou, Greece su: World Wide Web Mathematical proofs Crowdsourcing Virtual reality Communication Knowledge representation (Information theory) Artificial intelligence sug: subj: World Wide Web Mathematical proofs Crowdsourcing Virtual reality Communication Knowledge representation (Information theory) Artificial intelligence keyword: communication media crowdsourcing Joseph Amadee Goguen mathematical practice mathematical proof proof proof‐event proof-event Timothy Gowers virtual world Web ab: 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. pubtype: Academic Journal doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y custom: Copyright of Metaphilosophy is the property of Wiley-Blackwell and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. item: Metaphilosophy holder: Wiley-Blackwell dt: @attributes: year: 2012 holdings: @attributes: islocal: N |
|---|