Full Employment Theorem

Can't believe I have never visited here before...

http://en.wikipedia.org/wiki/Full_employment_theorem

This is the SRH. Interesting that it turns out to suggest that there is an endless amount of work to do which contradicts another thread in this blog. Accepting an infinite scope for human activity then endless economic expansion is possible but progress could just as easily be a change in socioeconomic rules. The analysis that progress is relative is still valid and that any place in the line of progress will always be ahead of one place and behind another.

This argument is based from the outside in: that no compiler is optimal because there are tasks it can't optimise (like the Halting problem) which can only be see by escaping the system stuck in the halting loop, and Godel's Theorem which creates a statement that can't be discovered by the rules of proof working from any axioms, but stepping outside the system can be seen to be true and valid.

Maybe the SRH needs to work from the outside in, rather than looking for an immanent finger pointing out, rather a finger outside pointing in.