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.
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.