Proof in mathematics and in logic

MaRDI QIDQ5224673zbMATH OpenFDO

Authors Danielle Macbeth

Publication date 24 July 2019

zbMATH Keywords

formal proofmathematical reasoningdiagrammatic reasoningmathematical logicmathematical notationmechanical reasoningmachine reasoning

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 5000989
• scientific article; zbMATH DE number 2113552
• The informal logic of mathematical proof
• Mathematical inference and logical inference
• Some Historical, Philosophical and Methodological Remarks on Proof in Mathematics

Cited in

(10)

• Writing reason
• scientific article; zbMATH DE number 4187765 (Why is no real title available?)
• Seeing how it goes: paper-and-pencil reasoning in mathematical practice
• Logic of proofs
• The compulsion to believe: logical inference and normativity
• Mathematical inference and logical inference
• Is there a logic of society?
• The relationship of derivations in artificial languages to ordinary rigorous mathematical proof
• Why do informal proofs conform to formal norms?
• Tracking reason. Proof, consequence, and truth

This page was built for publication: Proof in mathematics and in logic

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