W3C home > Mailing lists > Public > public-rif-wg@w3.org > June 2009

Re: SWC: proofs

From: Leora Morgenstern <leora@cs.nyu.edu>
Date: Wed, 10 Jun 2009 11:30:27 -0400 (EDT)
Message-ID: <50370.141.155.18.129.1244647827.squirrel@webmail.cims.nyu.edu>
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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Wednesday, 10 June 2009 15:31:13 GMT