Building on a Premature Claim: A Cautionary Tale

TitleBuilding on a Premature Claim: A Cautionary Tale
Publication TypeCase Study
Year of Publication2006
AuthorsWhitbeck, C, Meyer, AR
Corporate AuthorsNational Academy of Engineering, OEC
PublisherNational Academy of Engineering, Online Ethics Center
Publication Languageeng
AbstractYou 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?