ParentFull threadbuo·> eval(x)Sort of like the number omega, which contains in each digits proofs to every theorem, but is not computable:http://en.wikipedia.org/wiki/Chaitin's_constantView on HN