Zack_M_Davis 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: [deleted] 04 January 2010 04:24:31AM 4 points [-]

We don't say that one is prime.

One definition of a prime, of course, is "a number whose only factors are itself and 1, except for 1 itself". Another, however, is "a number with exactly two factors", which is probably the simpler than "a number whose only factors are itself and 1". And if 1 were prime, it would be a highly exceptional one, in that there would be many places to say "all prime numbers except 1".

e^x is often said to be the only function that is its own derivative, as if the zero function somehow didn't count.

The only functions defined over all real numbers that are their own derivatives are those of the form k*e^x for some real number k. These include not only e^x but 2e^x and 0e^x.

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: Zack_M_Davis 05 January 2010 07:04:45PM *  0 points [-]

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

Comment author: Jawaka 07 January 2010 02:10:50PM 0 points [-]
Comment author: magfrump 05 January 2010 04:39:50PM -1 points [-]

One is not prime. The zero function is a trivial function; it actually doesn't count (for reasons that are technical).

Comment author: ciphergoth 07 January 2010 03:42:50PM 2 points [-]

ke^x is its own derivative for any k, including 0. It's a lot more convenient for 1 not to be prime. But 0! = 1, for example.