It all goes back to the theory that it's impossible to implement "unbounded nondeterminism", according to Dijkstra. As mentioned, humans can step out of a syst

It all goes back to the theory that it's impossible to implement "unbounded nondeterminism", according to Dijkstra. As mentioned, humans can step out of a system and analyze it objectively. In essence, the rules can be broken and changed at any time, which means the system is constantly evolving. Logic does not always truly need to play a part, either. The system is constantly changing and adjusting. Because of this limitation due to our inability to implement systems that are truly nondeterministic, we are forced to use the constantly improving resources (such as faster processors, memory, better algorithms) to improve the speed at which we can mimic this behavior. However, these methods still require the data at hand to function, and several of them lead to exponential growth. As you said, it is always limited to what it's given.