Re:Secret messages hidden inside equations
by wlievens on Wednesday June 22, 2011 @03:03AM
(#2682085)
That only holds if all your formula are guaranteed to halt. I guess that's true if they're limited to arithmetic functions, without looping or recursion of any kind.
Also do note that what you're saying is only easy in theory. In practice it could take years to find your shorter formula.
If checking a candidate is not computable, Kolmogorov complexity would rear its head, but I do not think the problem of finding the shorter equation is well-defined in that case.