That's an interesting thought. Just want to point out that complexity theory from Computer Science fits nicely into this, because it asks, not what is "possible

That's an interesting thought. Just want to point out that complexity theory from Computer Science fits nicely into this, because it asks, not what is "possible" (e.g. finding all programs by counting all the integers), but what is possible within limited resources, like e.g. time. A nice addition to the thought that, theoretically, even if you can find the Windows 10 source code by counting all integers, you can't actually do it within the lifetime of the universe without a smarter algorithm.