Building on a Premature Claim: A Cautionary Tale

Author(s): Albert Meyer and Caroline Whitbeck

You see a very interesting conference article that sketched the proof of the "Sledgehammer Theorem." Using this powerful theorem, you write a journal article proving an important new result. After submitting your article, you develop doubts about the proof of the Sledgehammer Theorem. When you try proving it yourself, you cannot.

You contact the "Sledgehammer" authors to ask for a full version of their paper. They tell you it isn't quite ready (still working out a few bugs).

Is there anything you can do now?

Cite this page: Albert Meyer and Caroline Whitbeck "Building on a Premature Claim: A Cautionary Tale" Online Ethics Center for Engineering 8/17/2006 4:30:35 PM National Academy of Engineering Accessed: Friday, January 09, 2009 <www.onlineethics.org/CMS/research/modindex/resethpages/bldg_claim.aspx>


Search