gjm comments on Why CFAR's Mission? - LessWrong

38 Post author: AnnaSalamon 02 January 2016 11:23PM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Comments (55)

You are viewing a single comment's thread. Show more comments above.

Comment author: gjm 11 January 2016 09:24:16AM 1 point [-]

"True by definition" is not at all the same as "trivial" or "easy". In PM the fact that 1+1=2 does in fact follow from R&W's definition of the terms involved.