4 ms·
"So there is an information-theoretical limit that is still worth thinking about" So, technically, sure, but doesn't the busy beaver sequence imply the potenti
by perl4ever 7y ago
"So there is an information-theoretical limit that is still worth thinking about"
So, technically, sure, but doesn't the busy beaver sequence imply the potential of anything more complicated than a 5 state turing machine is literally unimaginable? I mean, unimaginably huge even as a multiple of the size of the universe.
https://en.wikipedia.org/wiki/Busy_beaver https://en.wikipedia.org/wiki/Busy_beaver
- ggggtez 7y agoI think there is perhaps a dozen reasons why this is an incorrect comparison. If we want to measure the information limit of DNA, we can argue the DNA is the program input... sure, so far so good. But then what is the "tape"? The tape must be empty at the beginning of the program... So, I guess we really need to consider the "program" is the entire universe of atoms... Ok... but then... who said that the program ever Halts, exactly? Busy beaver needs to Halt. So, we actually broke two of the fundamental assumptions of the Busy Beaver problem. So I wouldn't make any guarantees about the complexity of DNA based on it.