The University of Edinburgh -
Division of Informatics
Forrest Hill & 80 South Bridge

Research Paper #445

Title:A Science of Reasoning
Date:Oct 1989
Presented:Submitted to "Computational Logic: Essays in Honour of Alan Robinson". MIT Press
Abstract:This paper addresses the question of how we can understand reasoning in general and mathematical proofs in particular. It argues the need for a high-level understanding of proofs to complement the low-level understanding provided by Logic. It proposes a role for computation in providing this high-level understanding, namely by the association of proof plans with proofs. Proof plans are defined and examples are given for two families of proofs. Criteria are given for assessing the association of a proof plan with a proof.

[Search These Pages] [DAI Home Page] [Comment]