Proofs, proofs, proofs, and proofs

Details Proofs, proofs, proofs, and proofs Proofs, proofs, proofs, and proofs

2010-05-27

arxiv.org/abs/1005.5124v1

Computer Science

Artificial Intelligence

10 pages, To appear in The 9th International Conference on Mathematical Knowledge Management: MKM 2010

Scientific paper

In logic there is a clear concept of what constitutes a proof and what not. A proof is essentially defined as a finite sequence of formulae which are either axioms or derived by proof rules from formulae earlier in the sequence. Sociologically, however, it is more difficult to say what should constitute a proof and what not. In this paper we will look at different forms of proofs and try to clarify the concept of proof in the wider meaning of the term. This has implications on how proofs should be represented formally.

Affiliated with

Also associated with

No associations

Rating

Proofs, proofs, proofs, and proofs 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 Proofs, proofs, proofs, and proofs, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Proofs, proofs, proofs, and proofs will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-192980