4 ms·
all code possible to run on a computer already exists. It's some permutation of all the bits of available memory. It's in there somewhere This seems either mat
by chubot 2mo ago
all code possible to run on a computer already exists. It's some permutation of all the bits of available memory. It's in there somewhere
This seems either mathematically impossible or vacuous, depending on what you mean ...
- all2 2mo agoIt's the same mindset some artists have when considering raw stone for a statue: there's a Greek god in there somewhere, you just have to find him. It's a way of thinking, not some deep metaphysical mystery. Unless it is actually a deep metaphysical mystery, but I'd rather not go there.
- maweki 2mo agoI think the intent is clear. We could just enumerate all strings in size and lexicographical order. Then the task is only to filter, which strings are programs we desire. It's the same sentiment as "the typing itself is not the issue, it's the order of the button presses that's difficult." Of course, by Rice's theorem, all interesting questions are undecidable anyway...
- deleted 2mo ago[deleted]
- adrianN 2mo agoIf we restrict ourselves to programs that can be stored inside the physical universe, suddenly everything switches from undecidable to O(1) :)