> E.g. Collatz conjecture offers such a program that does not even require a colossal state to track during execution, its state is one integer. Hence exactly

> E.g. Collatz conjecture offers such a program that does not even require a colossal state to track during execution, its state is one integer. Hence exactly as large as an infinite array of integers! https://en.wikipedia.org/wiki/G%C3%B6del_numbering#G%C3%B6del's_encoding https://en.wikipedia.org/wiki/G%C3%B6del_numbering#G%C3%B6de... Though I have the same intuition that the Collatz state doesn't feel large or complicated. It isn't updated, or used, in any complex way.