Re: [Python-ideas] Decorator syntax restriction

George Sakkis wrote:

Any such proof or even discussion should take into account what the primitives (atoms and allowed operations) are.

Probably you should include the size of the documentation of the primitives used in your programming language manual, any other well-known literature they implicitly refer to, etc.

If not, here is a solution that is short both in code and documentation:

game_of_life().solve()

But then you need to go and find a paper describing the game of life and the algorithm being used to solve it and include its length! -- Greg