false_vacuum comments on Draft/wiki: Infinities and measuring infinite sets: A quick reference - Less Wrong

27 Post author: Sniffnoy 24 December 2010 04:52AM

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

Comments (24)

You are viewing a single comment's thread.

Comment author: false_vacuum 27 December 2010 03:16:36PM *  2 points [-]

Here's the output of my proofreading algorithm, which runs whenever I read something.

In the section Cardinal arithmetic, you have that the set X×Y is the cartesian product of A and B.

In The extended [positive] real line you have 'with a an infinity element'.

In Hyperreal numbers you have '"the" hypperreal numbers'.

In your footnote to The surreal numbers you have 'some a set of characteristic 0 "infinity kitchen sinks"'.

In Cardinal numbers (again), the words 'set of' should be used one more or at least 4 fewer times.

The world needed this article. I'm so glad you wrote it. It obviously needs to be in a more prominent place, and making it a wiki seems like a good idea.

Comment author: Sniffnoy 27 December 2010 10:33:48PM 1 point [-]

Thanks, fixes made. LW doesn't have a CW mode, so I guess I should post this on the actual wiki?

Comment author: false_vacuum 27 December 2010 03:17:37PM 0 points [-]

How do I get the × html entity?

Comment author: Sniffnoy 27 December 2010 10:34:51PM 1 point [-]

In a comment, SFAIK, you don't. How posts are written and how comments are written are not consistent. Though if you're willing to rely on people defaulting to the correct encoding, you could always just paste the character in directly...

Comment author: saturn 28 December 2010 06:22:36AM 0 points [-]

if you're willing to rely on people defaulting to the correct encoding

This site has proper Content-Type headers, so it should work fine in all sane browsers.

Comment author: Sniffnoy 28 December 2010 07:29:24AM 0 points [-]

Oh, that's good to know! I honestly didn't think to check that. I'd forgotten they existed.

Comment author: false_vacuum 28 December 2010 03:58:10AM 0 points [-]

I'll try that now.

Comment author: false_vacuum 28 December 2010 04:00:34AM 0 points [-]

It worked! (At least for me.)