Hacker News Reader

Does stuff like this make any one else think of "I cannot by played on record player X" from Hofstadter's Godel, Escher, Bach?

View on HN

It shouldn't. The record and record player was an analogy for statements and formal systems of sufficient complexity. This example would be analogous if html/css formed a Turing complete system, and the job of a browser was to decide whether or not the markup for a given page halted. This is just an example of a fixable bug with rejecting what should be obviously invalid input.

The corresponding analogy would be if the Crab's record player broke any time a particularly bad pop song came on. It could tell by looking at the song whether or not it would break, but the designers didn't bother to fix it because no one wants to listen to bad pop music anyway.

But what about the tension between features (completeness of system? Or ability to reproduce any sound?) and robustness (lack of contradictions? No sounds that would cause its own destruction?)

The analogy seems to fit there, enough to make me smile anyway :)

Reply on news.ycombinator.com