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

SWC: proofs

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

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 GMT

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