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

Descripción completa

Detalles Bibliográficos

Publicado en:	Metaphilosophy Vol. 43; no. 4; pp. 480 - 499
Autores principales:	Stefaneas, Petros, Vandoulakis, Ioannis M.
Formato:	Artículo
Publicado:	Wiley-Blackwell Jul2012
Materias:	World Wide Web Mathematical proofs Crowdsourcing Virtual reality Communication Knowledge representation (Information theory) Artificial intelligence
Acceso en línea:	Ver este registro en EBSCOhost