TY - GEN
T1 - A Science of Reasoning (Extended Abstract)
AU - Bundy,Alan
PY - 1998/5
Y1 - 1998/5
N2 - How can we understand reasoning in general and mathematical proofs in particular? It is argued that a high-level understanding of proofs is needed to complement the low-level understanding provided by Logic. A role for computation is proposed to provide this high-level understanding, namely by the association of proof plans with proofs. Criteria are given for assessing the association of a proof plan with a proof.
AB - How can we understand reasoning in general and mathematical proofs in particular? It is argued that a high-level understanding of proofs is needed to complement the low-level understanding provided by Logic. A role for computation is proposed to provide this high-level understanding, namely by the association of proof plans with proofs. Criteria are given for assessing the association of a proof plan with a proof.
M3 - Conference contribution
SN - 165.120.163.241
VL - 1397
SP - 10
EP - 17
BT - Automated Reasoning with Analytic Tableaux and Related Methods
PB - Springer International Publishing
ER -