Stuart_Armstrong comments on Math prerequisites for understanding LW stuff

[Stuart_Armstrong]

Thanks for this list, it’s most useful.

But one tricky thing about

4) Learn enough logic to correctly solve the closing puzzle from Eliezer’s cartoon guide. is that he is asking one to find a flaw in a proof of a true statement. The proof is indeed flawed (one of the derivability conditions doesn’t have the required properties), but statements such as “there is no proof of X” imply “PA is consistent” and hence “X”.