A Science of Reasoning (Extended Abstract)

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

Abstract / Description of output

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.
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
Publication statusPublished - May 1998

Fingerprint

Dive into the research topics of 'A Science of Reasoning (Extended Abstract)'. Together they form a unique fingerprint.

Cite this