Passages of Proof

Simple item page
dc.creatorCalude, Cristian S.
dc.creatorCalude, Elena
dc.creatorMarcus, Solomon
dc.date2003-05-14
dc.date2004-08-11
dc.date.accessioned2026-07-07T04:58:01Z
dc.date.available2026-07-07T04:58:01Z
dc.descriptionIn this paper we propose a new perspective on the evolution and history of the idea of mathematical proof. Proofs will be studied at three levels: syntactical, semantical and pragmatical. Computer-assisted proofs will be give a special attention. Finally, in a highly speculative part, we will anticipate the evolution of proofs under the assumption that the quantum computer will materialize. We will argue that there is little `intrinsic' difference between traditional and `unconventional' types of proofs.
dc.description22 pages, revised and updated version
dc.identifierhttps://arxiv.org/abs/math/0305213
dc.identifierhttp://arxiv.org/abs/math/0305213
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/67471
dc.subjectHistory and Overview
dc.subject01A60, 03A05
dc.titlePassages of Proof
dc.typetext

Files

Collections

arXiv