Skip to main content

Research Repository

See what's under the surface

Advanced Search

What can be learned from failed proofs of non-theorems?

Dennis, Louise Abigail; Nogueira, Pablo

Authors

Louise Abigail Dennis

Pablo Nogueira



Contributors

Joe Hurd
Editor

Edward Smith
Editor

Ashish Darbari
Editor

Abstract

This paper reports an investigation into the link between failed proofs and non-theorems. It seeks to answer the question of whether anything more can be learned from a failed proof attempt than can be discovered from a counter-example. We suggest that the branch of the proof in which failure occurs can be mapped back to the segments of code that are the culprit, helping to locate the error.

This process of tracing provides finer grained isolation of the offending code fragments than is possible from the inspection of counter-examples. We also discuss ideas for how such a process could be automated.

Publication Date Jan 1, 2005
Peer Reviewed Not Peer Reviewed
APA6 Citation Dennis, L. A., & Nogueira, P. (2005). What can be learned from failed proofs of non-theorems?. In E. Smith, J. Hurd, & A. Darbari (Eds.),
Copyright Statement Copyright information regarding this work can be found at the following address: http://eprints.nottingh.../end_user_agreement.pdf
Additional Information Proceedings published as Programming Research Group Research Report, PRG-RR-05-02.

Files

nontheorems.pdf (128 Kb)
PDF

Copyright Statement
Copyright information regarding this work can be found at the following address: http://eprints.nottingham.ac.uk/end_user_agreement.pdf





Downloadable Citations

;