Mathematical knowledge: Motley and complexity of proof

DOI10.4288/JAFPOS.21.0_21MaRDI QIDQ5411984zbMATH OpenOpenAlexFDO

Authors Akihiro Kanamori

Publication date 25 April 2014

Published in Annals of the Japan Association for Philosophy of Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.4288/jafpos.21.0_21

zbMATH Keywords

complexity of proofLakatosmathematical knowledgephilosophy of mathematics

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Methodology of mathematics (00A35) History of mathematics in the 20th century (01A60) Complexity of proofs (03F20)

Recommendations

• Highly complex proofs and implications of such proofs
• scientific article; zbMATH DE number 2152637
• Reshaping the metaphor of proof
• scientific article; zbMATH DE number 2237875
• The surveyability of long proofs

Cited in

(6)

• The role of the common in cognitive prosperity: our command of the unspeakable and unwriteable
• The surveyability of long proofs
• Mathematical arguments and distributed knowledge
• Knowledge of Mathematics without Proof
• Highly complex proofs and implications of such proofs
• scientific article; zbMATH DE number 2237875 (Why is no real title available?)

This page was built for publication: Mathematical knowledge: Motley and complexity of proof

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