www.digitalmars.com         C & C++   DMDScript  

digitalmars.D - BCS's const incompleteness Conjecture

reply BCS <ao pathlink.com> writes:
with a wink and nod to Gödel:

"All const systems are either inccorect, or incompleat (in that desierable 
concepts can't be expressed)"

I'd like to be proven wrong.
Mar 28 2008
parent Russell Lewis <webmaster villagersonline.com> writes:
BCS wrote:
 with a wink and nod to Gödel:
 
 "All const systems are either inccorect, or incompleat (in that 
 desierable concepts can't be expressed)"

Is that always true? Or just in the context of this thread?
 I'd like to be proven wrong.

So you aren't declaring this invariant?
Mar 28 2008