Division of Informatics
Forrest Hill & 80 South Bridge
Research Paper #445 | |
|---|---|
| Title: | A Science of Reasoning |
| Authors: | Bundy,A |
| Date: | Oct 1989 |
| Presented: | Submitted to "Computational Logic: Essays in Honour of Alan Robinson". MIT Press |
| Keywords: | |
| 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. |
| Download: | POSTSCRIPT COPY |
![[Search These Pages]](http://www.dai.ed.ac.uk/icons/dai_search.gif){kind=icon}
![[DAI Home Page]](http://www.dai.ed.ac.uk/icons/dai_home.gif){kind=icon}
![[Comment]](http://www.dai.ed.ac.uk/icons/dai_comment.gif){kind=icon}