Edinburgh Research Explorer

A Science of Reasoning (Extended Abstract)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Related Edinburgh Organisations

Documents

Original languageEnglish
Title of host publicationAutomated Reasoning with Analytic Tableaux and Related Methods
EditorsHarrie de Swart
PublisherSpringer International Publishing
Pages10-17
Number of pages8
Volume1397
ISBN (Print)165.120.163.241
StatePublished - May 1998

Abstract

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.

ID: 51547400