Why proof? What is a proof?

DOI10.1007/978-88-470-0784-0_1MaRDI QIDQ3654811zbMATH OpenOpenAlexFDO

Authors Carlo Cellucci

Publication date 11 January 2010

Published in Deduction, Computation, Experiment (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-88-470-0784-0_1

zbMATH Keywords

philosophy of mathematics

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05)

Recommendations

• Proofs and guarantees
• Proofs, Proofs, Proofs, and Proofs
• Some Historical, Philosophical and Methodological Remarks on Proof in Mathematics
• What Is a Proof?
• The phenomenology of mathematical proof

Cited in

(40)

• The phenomenology of mathematical proof
• Mathematical knowledge and the problem of proof
• Proofs and guarantees
• Human rationality challenges universal logic
• Why do informal proofs conform to formal norms?
• Informal proof, formal proof, formalism
• On the concept of proof
• Why Do We Believe Theorems?
• Without Loss of Generality
• The possibility of analysis: convergence and proofs of convergence
• Proof as experiment in Wittgenstein
• Logical and semantic purity
• Top-down and bottom-up philosophy of mathematics
• On Formal Proofs
• scientific article; zbMATH DE number 47237 (Why is no real title available?)
• scientific article; zbMATH DE number 1256296 (Why is no real title available?)
• Why Do We Prove Theorems?
• scientific article; zbMATH DE number 1004880 (Why is no real title available?)
• scientific article; zbMATH DE number 2009999 (Why is no real title available?)
• scientific article; zbMATH DE number 1748585 (Why is no real title available?)
• Mathematical inference and logical inference
• scientific article; zbMATH DE number 2113550 (Why is no real title available?)
• scientific article; zbMATH DE number 2113551 (Why is no real title available?)
• Pluralism and ``bad mathematical theories: challenging our prejudices
• Philosophical proofs against common sense
• Reshaping the metaphor of proof
• Motivated proofs: what they are, why they matter and how to write them
• What Is a Proof?
• What Is the Difference Between Proofs and Programs?
• Is there a general notion of proof?
• What is a proof?
• scientific article; zbMATH DE number 2196613 (Why is no real title available?)
• QED: Phenomenology of proofs
• Mechanizing Mathematical Reasoning
• Confronting ideals of proof with the ways of proving of the research mathematician
• RIGOUR AND PROOF
• Formal and Natural Proof: A Phenomenological Approach
• When Is a Test Not a Proof?
• A science of reasoning: Extended abstract
• Rigour and intuition

This page was built for publication: Why proof? What is a proof?

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