Proof in mathematics and in logic

zbMATH Open1418.03021MaRDI QIDQ5224673FDOQ5224673

Authors: Danielle Macbeth 

Publication date: 24 July 2019

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

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)

Cited In (10)

• Writing reason
• Title not available (Why is that?)
• 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
• Tracking reason. Proof, consequence, and truth
• Why do informal proofs conform to formal norms?

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)