Your relationship with other people is a macrocosm of your relationship with yourself.
I think there's something to that, but it's not that general. For example, some people can be very kind to others but harsh with themselves. Some people can be cruel to others but lenient to themselves.
If you ca...(read more)
Here's the Less Wrong post for the AI Safety Camp!
It's bleen, without a moment's doubt.
Counterpoint: Sometimes, not moving means moving, because everyone else is moving away from you. Movement -- change -- is relative. And on the Internet, change is rapid.
Interesting. I might show up.
Thanks for the tip. Two other books on the subject that seem to be appreciated are Introduction to Set Theory by Karel Hrbacek and Classic Set Theory: For Guided Independent Study by Derek Goldrei.
Edit: math.se weighs in: http://math.stackexchange.com/a/264277/255573
The author of the [Teach Yourself Logic study guide](http://www.logicmatters.net/tyl/about-the-guide/) agrees with you about reading multiple sources:
> I very strongly recommend tackling an area of logic (or indeed any new area of mathematics) by reading a series of books which overlap in level (wi...(read more)
My two main sources of confusion in that sentence are:
1. He says "distinct elements **onto** distinct elements", which suggests both injection and surjection.
2. He says "is called one-to-one (usually a one-to-one correspondence)", which might suggest that "one-to-one" and "one-to-one corresponde...(read more)
You guys must be right. And wikipedia corroborates. I'll edit the post. Thanks.
I'm currently attempting to read through the MIRI research guide in order to contribute to one of the open problems. Starting from Basics. I'm emulating many of [Nate](http://lesswrong.com/user/So8res/)'s techniques. I'll post reviews of material in the research guide at lesswrong as I work...(read more)