- From: Leora Morgenstern <leora@cs.nyu.edu>
- Date: Wed, 10 Jun 2009 11:30:27 -0400 (EDT)
- To: "Chris Welty" <cawelty@gmail.com>
- Cc: "Public-Rif-Wg" <public-rif-wg@w3.org>
You might wish to preface the theorems with a statement such as: "We conjecture that the following are theorems, and are currently working on the proofs." Leora > > I spoke to Jos. He said the proofs were more than just un-checked, they > were > wrong. So I removed the proofs from SWC that were marked "to be updated" > > I left the theorems. My sense was that they were still true, just hadn't > been > proven, but we will probably provide the proofs by CR. > > Does anyone have an opinion about having theorems without proofs? > > -Chris > > -- > Dr. Christopher A. Welty IBM Watson Research Center > +1.914.784.7055 19 Skyline Dr. > cawelty@gmail.com Hawthorne, NY 10532 > http://www.research.ibm.com/people/w/welty > >
Received on Wednesday, 10 June 2009 15:31:12 UTC