Proofs, Proofs, Proofs, and Proofs

DOI10.1007/978-3-642-14128-7_30zbMATH Open1286.00044arXiv1005.5124OpenAlexW2950379217MaRDI QIDQ3582720

Manfred Kerber

Publication date: 24 August 2010

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

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.

Full work available at URL: https://arxiv.org/abs/1005.5124

Mathematics Subject Classification ID

Methodology of mathematics (00A35)

Related Items (3)

Title not available (Why is that?) ⋮ Title not available (Why is that?) ⋮ How to Prove It

Recommendations

• Proofs that count 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

This page was built for publication: Proofs, Proofs, Proofs, and Proofs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3582720)