Re: SWC: proofs

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