dlthomas comments on Bayes Slays Goodman's Grue - Less Wrong

0 Post author: potato 17 November 2011 10:45AM

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

Comments (120)

You are viewing a single comment's thread.

Comment author: dlthomas 16 November 2011 10:49:15PM 12 points [-]

"An object is grue iff it is first observed before time T, and it is green, or it is first observed after time T, and it is blue."

I don't see any reason such an object is likely to eat me when I'm walking around in the dark.

Comment author: antigonus 16 November 2011 11:03:26PM 0 points [-]

I don't see the relevance. Nelson's problem is about the general validity of inductive inference. Do you have a solution that doesn't depend upon inductive inferences?

Comment author: dlthomas 16 November 2011 11:27:25PM *  0 points [-]

Was this meant to be a response to my other comment? If not, I think one of us is missing the other's joke, but have no idea which one.

Comment author: antigonus 16 November 2011 11:45:53PM 0 points [-]

No, it was supposed to be a response to its actual parent. I assumed that you were (somewhat but not entirely) humorously suggesting that the problem can somehow be solved by some appeal to natural selection or the like.

Comment author: dlthomas 16 November 2011 11:51:01PM *  7 points [-]

Ah, no, I was simply making reference to the fact that the Zork games from way back when (the first was apparently late-1970's) would warn you,

It's pitch black. You are likely to be eaten by a grue.

... when you wandered into an unlit area.

Comment author: gjm 17 November 2011 12:54:45AM 15 points [-]

I have seen something like

It is dark, and after the year 2000. If you proceed, you are likely to be eaten by a bleen.

in someone's email signature, and been delighted by it. (Though I worry that part of my delight derives from smugness about getting the joke.)

Comment author: antigonus 17 November 2011 12:50:11AM 1 point [-]

Sorry, my mistake!

Comment author: dlthomas 17 November 2011 12:58:45AM 1 point [-]

No worries at all; I just didn't want to invest the time trying to figure out how it related to my serious comment if it turned out to be a joke I didn't get, or vice-versa.