Different Proofs are Good Proofs

10 pages•Published: May 15, 2012

Geoff Sutcliffe, Cynthia Chang, Li Ding, Deborah McGuinness and Paulo Pinheiro da Silva

Abstract

In order to compare the quality of proofs, it is necessary to measure artifacts of the proofs, and evaluate the measurements to determine differences between the proofs. This paper discounts the approach of ranking measurements of proof artifacts, and takes the position that different proofs are good proofs. The position is based on proofs in the TSTP solution library, which are generated by Automated Theorem Proving (ATP) systems applied to first-order logic problems in the TPTP problem library.

Keyphrases: difference, proof, quality

In: Aaron Stump, Geoff Sutcliffe and Cesare Tinelli (editors). EMSQMS 2010. Workshop on Evaluation Methods for Solvers, and Quality Metrics for Solutions, vol 6, pages 42-51.

Links:	https://easychair.org/publications/paper/Pc5
	https://doi.org/10.29007/kwk9

BibTeX entry

@inproceedings{EMSQMS2010:Different_Proofs_are_Good,
  author    = {Geoff Sutcliffe and Cynthia Chang and Li Ding and Deborah McGuinness and Paulo Pinheiro da Silva},
  title     = {Different Proofs are Good Proofs},
  booktitle = {EMSQMS 2010. Workshop on Evaluation Methods for Solvers, and Quality Metrics for Solutions},
  editor    = {Aaron Stump and Geoff Sutcliffe and Cesare Tinelli},
  series    = {EPiC Series in Computing},
  volume    = {6},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/Pc5},
  doi       = {10.29007/kwk9},
  pages     = {42-51},
  year      = {2012}}

Download PDF Open PDF in browser