Psychological validity of schematic proofs

DOI10.1007/978-3-540-32254-2_19MaRDI QIDQ5717447zbMATH OpenOpenAlexFDO

Authors Mateja Jamnik, Alan Bundy

Publication date 10 January 2006

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b106663

Mathematics Subject Classification ID

Methodology of mathematics (00A35) Mechanization of proofs and logical operations (03B35) Structure of proofs (03F07)

Recommendations

• What is a proof?
• The role of representations in mathematical reasoning
• The forgotten individual: diagrammatic reasoning in mathematics
• Schemata: The Concept of Schema in the History of Logic
• Mathematical concepts in computer proofs

Cited in

(1)

• Exhibiting interpretational and representational validity

This page was built for publication: Psychological validity of schematic proofs

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