PeterPS: [...] > It is generally the case that proof checking is no harder than proving, > although I don't remember a proof to this effect. :-) :-) > It is certainly the case that proof checking is usually easier than > proving, and mostly proof checking is very much easier than proving, but That's what I also thought... > this is certainly not always the case. It is an engineering challenge to avoid those cases :-) and here I believe so called "builtins" could help (at least that's our experience with such cases as http://www.agfa.com/w3c/2002/10/medicad/op/index.html esp http://www.agfa.com/w3c/2002/10/medicad/op/lldmE.n3 or http://www.agfa.com/w3c/2002/10/medicad/op/lldmE2.n3) -- Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/Received on Monday, 10 November 2003 19:26:32 GMT
This archive was generated by hypermail 2.2.0 + w3c-0.30 : Friday, 25 March 2005 11:20:49 GMT