What can be learned from failed proofs of non-theorems?
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 occu...
| Main Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Conference or Workshop Item |
| Published: |
Oxford University Computing Laboratory
2005
|
| Online Access: | https://eprints.nottingham.ac.uk/297/ |