Proofs, proofs, proofs, and proofs

Authors:
Manfred Kerber
Affiliations:
Computer Science, University of Birmingham, Birmingham, England
Venue:
AISC'10/MKM'10/Calculemus'10 Proceedings of the 10th ASIC and 9th MKM international conference, and 17th Calculemus conference on Intelligent computer mathematics
Year:
2010

Citing 4
Cited 1

An introduction to mathematical logic and type theory: to truth through proof

An introduction to mathematical logic and type theory: to truth through proof
The psychology of proof: deductive reasoning in human thinking

The psychology of proof: deductive reasoning in human thinking
A Machine-Oriented Logic Based on the Resolution Principle

Journal of the ACM (JACM)
Solution of the Robbins Problem

Journal of Automated Reasoning

Proof, message and certificate

CICM'12 Proceedings of the 11th international conference on Intelligent Computer Mathematics

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.