Some general reflections on proof transformations lead to the abstract concept of a quintessential proof of a theorem. A quintessential proof embodies the essential features of many intertranslatable proofs of the theorem. While reasonable candidates for quintessential proofs for normal proofs have been developed, more work is needed with regard to non-normal proofs. Work on proof transformations seems likely to lead to important progress in understanding proofs. © Springer-Verlag Berlin Heidelberg 2005.
CITATION STYLE
Andrews, P. B. (2005). Some reflections on proof transformations. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2605 LNAI, 14–29. https://doi.org/10.1007/978-3-540-32254-2_2
Mendeley helps you to discover research relevant for your work.