User Profile


Recent Posts

Curated Posts
starCurated - Recent, high quality posts selected by the LessWrong moderation team.
rss_feed Create an RSS Feed
Frontpage Posts
Posts meeting our frontpage guidelines: • interesting, insightful, useful • aim to explain, not to persuade • avoid meta discussion • relevant to people whether or not they are involved with the LessWrong community.
(includes curated content and frontpage posts)
rss_feed Create an RSS Feed
All Posts
personIncludes personal and meta blogposts (as well as curated and frontpage).
rss_feed Create an RSS Feed

AI Safety Research Camp - Project Proposal

8 min read
Show Highlightsubdirectory_arrow_left

Book Review: Naive Set Theory (MIRI research guide)

6 min read
Show Highlightsubdirectory_arrow_left

Recent Comments

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)

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.

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: weighs in:

The author of the [Teach Yourself Logic study 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]('s techniques. I'll post reviews of material in the research guide at lesswrong as I work...(read more)