komponisto comments on Open Thread: January 2010 - Less Wrong

5 Post author: Kaj_Sotala 01 January 2010 05:02PM

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

Comments (725)

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

Comment author: [deleted] 04 January 2010 12:43:56AM 1 point [-]

Transmitting it to aliens ain't happening; we'd get them from radio to the present day, a couple hundred years' worth of technology, which is relatively little, and that's only if we manage to aim it right.

So, we want to communicate to future sapient species on Earth. I say take many, many plates of uranium glass and carve into it all of our most fundamental non-obvious knowledge: stuff like the periodic table, how to make electricity, how to make a microchip, some microchip designs, some software. And, of course, the scientific method, rationality, the non-exception convention (0 is a number, a square is a rectangle, the empty product is 1, . . .), and the function application motif (the way we construct mathematical expressions and natural-language phrases). Maybe tell them about Friendly AI, too.

Comment author: Zack_M_Davis 04 January 2010 01:09:59AM 0 points [-]

the non-exception convention (0 is a number, a square is a rectangle, the empty product is 1, . . .)

Is there such a convention? We don't say that one is prime. e^x is often said to be the only function that is its own derivative, as if the zero function somehow didn't count.

Comment author: komponisto 05 January 2010 04:06:43PM *  0 points [-]

Is there such a convention?

Yes -- at least in the sense that I have found familiarity with (and sympathy toward) this practice to be an effective shibboleth for distinguishing the mathematically sophisticated.

(It's kind of like how it's a warning sign when someone doesn't think the word "dictionary" should be in the dictionary.)

Comment author: Jawaka 07 January 2010 02:10:50PM 0 points [-]
Comment author: Zack_M_Davis 05 January 2010 07:04:45PM *  0 points [-]

Thank you. Sorry for the stupid question, then; do downvote the grandparent.