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

QR Code

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...

Full description

Bibliographic Details
Main Authors:	Dennis, Louise Abigail, Nogueira, Pablo
Other Authors:	Hurd, Joe
Format:	Conference or Workshop Item
Published:	Oxford University Computing Laboratory 2005
Online Access:	https://eprints.nottingham.ac.uk/297/

Similar Items

An Architecture for Proof Planning Systems
by: Dennis, Louise Abigail
Published: (2005)

The Use of Proof Planning Critics to Diagnose Errors in the Base Cases of Recursive Programs
by: Dennis, Louise Abigail
Published: (2004)

Inductive Theorem Proving and Computer Algebra in the Mathweb Software Bus
by: Zimmer, Juergen, et al.
Published: (2002)

A Comparison of two Proof Critics: Power vs. Robustness
by: Dennis, Louise Abigail, et al.
Published: (2002)

The Productive use of Failure to Generate Witnesses from Divergent Proof Attempts for Coinduction
by: Dennis, Louise Abigail, et al.
Published: (2000)

Using a Generalisation Critic to find Bisimulations for Coinductive Proofs
by: Dennis, Louise Abigail, et al.
Published: (1999)

On the comparison of proof planning systems: Lambda-clam, Omega and IsaPlanner
by: Dennis, Louise Abigail, et al.
Published: (2005)

Proof of Kochen–Specker Theorem: Conversion of Product Rule to Sum Rule
by: Toh, S.P., et al.
Published: (2009)

3 proofs of 2 well-known theorems on starlike and convex functions
by: Maslina Darus,, et al.
Published: (2022)

Proof of Kochen¨CSpecker Theorem: conversion of product Rule to sum rule
by: Toh, Sing Poh, et al.
Published: (2009)

Kochen-Specker theorem for a three-qubit system: a state-dependent proof with seventeen rays
by: Toh, Sing Poh, et al.
Published: (2010)

Penukaran Fail-Fail CAD, Penukaran Fail Gerber
by: Lily Tiong, Yu Wen
Published: (2006)

What communities can do to prevent or limit drinking problems
by: Gray, Dennis
Published: (2012)

Creativity in teaching: what can teachers learn from artists?
by: Hall, Christine, et al.
Published: (2016)

What can we learn from Malay vernacular houses?
by: Ghaffarian Hoseini, Amir Hosein, et al.
Published: (2014)

Student attitudes to plagiarism and collusion within computer science
by: Dennis, Louise Abigail
Published: (2005)

What can intellectual property law learn from happiness research?
by: Derclaye, Estelle
Published: (2013)

Heritage Contests: What Can We Learn from Social Movements?
by: Jones, Tod, et al.
Published: (2017)

Women's participation in mining: What can we learn from EOWA reports?
by: Lord, Linley, et al.
Published: (2012)

Creativity and 'new' careers: what can we learn from the creative industries?
by: Bennett, Dawn
Published: (2009)

What The World Can Learn From Sri Lanka's Post-tsunami Experiences
by: Mulligan, Martin, et al.
Published: (2007)

On the Cauchy-Goursat theorem
by: Azram, Mohammad, et al.
Published: (2010)

No-Go theorems and quantization
by: Zainuddin, Hishamuddin, et al.
Published: (2007)

Pre service teachers' voices while learning to teach: what can be learned from England?
by: Abd. Rahman, Fadzilah, et al.
Published: (2010)

Spontaneous symmetry breaking and the Goldstone theorem in non-Hermitian field theories
by: Alexandre, Jean, et al.
Published: (2018)

Parity theorems revisited: an ARDL bound test with non-parity factors
by: Syed Mohamed, Mohamed Ariff, et al.
Published: (2015)

Parity Theorems Revisited: An Ardl Bound Test With Non-parity Factors
by: Mohamed Ariff, Mohamed Ariff, et al.
Published: (2015)

Halal labelled cosmetics: what is it and what Korea can gain from it?
by: Wan Jusoh, Wan Jamaliah
Published: (2018)

Change Management: Why change fails? Why Change Failed in Gokul Group of Restaurants.
by: Mohan, Gopal
Published: (2013)

Trading rules in housing markets - what can we learn?
by: Costello, Gregory
Published: (2005)

Has modern architecture failed?
by: Omer, Spahic
Published: (2019)

Tobacco targets-doomed to fail?
by: Daube, Mike
Published: (2018)

Thea Astley's Failed Eden
by: Genoni, Paul
Published: (2006)

UMP fail paten terbanyak
by: UMP, .
Published: (2011)

Greed behind failed firms
Published: (2008)

Malaysia not a failed state
by: Chandra, Sarah Hafizah
Published: (2021)

Toilet training: what can the cookstove sector learn from improved sanitation promotion?
by: Sesan, Temilade, et al.
Published: (2018)

The creation and management of knowledge: what can we learn from applying the principles of economics?
by: Lange, Thomas
Published: (2006)

Interactive proof systems
by: Makarin, Rusydi Hasan, et al.
Published: (2011)

Zero-knowledge-proof
by: Alshaikhli, Imad Fakhri Taha, et al.
Published: (2011)