SWC: proofs from Chris Welty on 2009-06-10 (public-rif-wg@w3.org from June 2009)

From: Chris Welty <cawelty@gmail.com>
Date: Wed, 10 Jun 2009 11:21:12 -0400
To: "Public-Rif-Wg (E-mail)" <public-rif-wg@w3.org>
Message-ID: <4A2FCF68.1060502@gmail.com>

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:21:48 UTC