You're looking at Less Wrong's discussion board. This includes all posts, including those that haven't been promoted to the front page yet. For more information, see About Less Wrong.

paper-machine comments on PSA: Eugine_Nier evading ban? - Less Wrong Discussion

17 Post author: Dahlen 07 December 2014 11:23PM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Comments (68)

You are viewing a single comment's thread. Show more comments above.

Comment author: [deleted] 09 December 2014 09:01:00PM 0 points [-]

There can't be, since KC isn't computable

Exactly. So why bother saying gzip is an approximation of KC? (I assume: because KC is a well-known theoretical object with good properties, and one shouldn't let the fact that none of these properties carry over to gzip ruin one's chance of getting published cheaply.)

Comment author: lmm 16 December 2014 11:22:14PM 0 points [-]

Because gzip is being used to measure complexity. That's literally the reason they used gzip and not, I don't know, rot13. It's an explanation of the causal role that gzip is playing in the whole process.

Comment author: [deleted] 17 December 2014 12:57:37AM *  1 point [-]

No.

"gzip is being used to measure complexity" is an explanation of the causal role that gzip is playing in this study.

"gzip is an approximation of KC" is either 1) flatly not true, see edit to grandparent or 2) not relevant to the study at all.

Comment author: Kawoomba 09 December 2014 09:07:57PM 0 points [-]

And while we're at it, why do we even care about Turing Machines, it's not like we could ever build one anyways. ;-)

goes back to tending his potato garden