Could you summarise the point of/ the conclusions of the posts about second order logic and Gödel's theorems in the Epistemology Sequence? I didn't understand them, but I'd like to know where they were heading at least.
I don't quite have the mathematical background and sophistication to grok those posts as well, but I did get their purpose - to hook mathematicians into thinking about the open problems that Eliezer and MIRI have identified as being relevant.
If you want people to ask you stuff reply to this post with a comment to that effect.
More accurately, ask any participating LessWronger anything that is in the category of questions they indicate they would answer.
If you want to talk about this post you can reply to my comment below that says "Discussion of this post goes here.", or not.