Formalizability and knowledge ascriptions in mathematical practice

DOI10.4000/PHILOSOPHIASCIENTIAE.231MaRDI QIDQ3081768zbMATH OpenOpenAlexFDO

Authors Eva Müller-Hill

Publication date 9 March 2011

Published in Philosophia Scientae (Search for Journal in Brave)

Full work available at URL https://doi.org/10.4000/philosophiascientiae.231

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Methodology of mathematics (00A35)

Recommendations

• Knowledge of Mathematics without Proof
• Informal proofs and mathematical rigour
• Skills and mathematical knowledge
• On formal and informal provability
• Mathematical knowledge as a case study in empirical philosophy of mathematics

Cited in

(10)

• Acceptable gaps in mathematical proofs
• Mathematical knowledge as a case study in empirical philosophy of mathematics
• scientific article; zbMATH DE number 5910828 (Why is no real title available?)
• Skills and mathematical knowledge
• scientific article; zbMATH DE number 1951637 (Why is no real title available?)
• scientific article; zbMATH DE number 6897883 (Why is no real title available?)
• Formalizing Scientifically Applicable Mathematics in a Definitional Framework
• scientific article; zbMATH DE number 4197450 (Why is no real title available?)
• Publication/Citation: A Proof-Theoretic Approach to Mathematical Knowledge Management*
• Rigor and formalization

This page was built for publication: Formalizability and knowledge ascriptions in mathematical practice

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