Managing Informal Mathematical Knowledge: Techniques from Informal Logic

DOI10.1007/11812289_17MaRDI QIDQ5756767zbMATH OpenOpenAlexFDO

Authors Andrew Aberdein

Publication date 5 September 2007

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

Full work available at URL https://philpapers.org/rec/ABEMIM

Mathematics Subject Classification ID

Methodology of mathematics (00A35) Other applications of logic (03B80) Knowledge representation (68T30)

Recommendations

• The informal logic of mathematical proof
• scientific article; zbMATH DE number 2078373
• How to think about informal proofs
• Mathematical inference and logical inference
• Mathematical Knowledge Management

Cited in

(11)

• Mathematical arguments in context
• Bridging the gap between argumentation theory and the philosophy of mathematics
• Mathematics and argumentation
• Lakatos-style collaborative mathematics through dialectical, structured and abstract argumentation
• Revealing structures of argumentations in classroom proving processes
• Bridging the gap between argumentation theory and the philosophy of mathematics
• The parallel structure of mathematical reasoning
• Math Literate Knowledge Management via Induced Material
• scientific article; zbMATH DE number 2078373 (Why is no real title available?)
• Introduction
• Eager Equality for Rational Number Arithmetic

This page was built for publication: Managing Informal Mathematical Knowledge: Techniques from Informal Logic

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