Passages of Proof

Details Passages of Proof Passages of Proof

2003-05-14

arxiv.org/abs/math/0305213v2

Mathematics

History and Overview

22 pages, revised and updated version

Scientific paper

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

Affiliated with

Also associated with

No associations

Rating

Passages of Proof does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Passages of Proof, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Passages of Proof will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-520932