You are likely to be eaten by a grue.

The video, entitled “It is pitch dark”, from nerdcore hip-hop grandmaster MC Frontalot.

The lyrics, in part:

You are likely to be eaten by a grue. If this predicament seems particularly cruel, consider whose fault it could be: not a torch or a match in your inventory.

What is a grue?

The grue is a sinister, lurking presence in the dark places of the earth. Its favorite diet is adventurers, but its insatiable appetite is tempered by its fear of light. No grue has ever been seen by the light of day, and few have survived its fearsome jaws to tell the tale.

More on “Grue” and Grue, The Philosophical Review ¬© 1961 Duke University Press.

Mr. Grue believes that grass is grue, taken here to mean that it is green until the year 2000 and blue afterward.

Grue is the color of the y2k problem – green (providing riches) until the year 2000, and blue (providing sadness) afterwards. Noted here, as The Year 2000 Crisis: One software engineers’ perspective”:

This is not a new problem. There is a paradox, called “Goodman’s Grue-Bleen paradox”, which describes what we’re facing. See The fall 1983 issue of the Bulletin of the Santayana Society, “on Grue and Bleen”, by Angus Kerr-Lawson. See also Goodman’s Paradox. In the paradox, an object is “grue” if it is green between a certain time, T, and blue after T. An object is “bleen” if it is blue before T, and green after T. The paradox is how to tell the difference between something which is green and something which is grue. At the moment, it is impossible to know. After T, it will be easy. Similarly, it is easy to tell the difference between something which is green and something which is bleen. But after T, it might not be. Further, any system built on distingushing between green and blue will work properly now with green, blue, and bleen objects, but will fail after time T.

Is there a relationship between the “grue” of Zork and the “grue” of the color paradox?

Advertisements

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s