| ▲ | chubot 5 hours 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 ... | ||||||||
| ▲ | maweki 5 hours ago | parent | next [-] | |||||||
I 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... | ||||||||
| ||||||||
| ▲ | all2 5 hours ago | parent | prev [-] | |||||||
It'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. | ||||||||