gjm comments on Why CFAR's Mission? - Less Wrong
You are viewing a comment permalink. View the original post to see all comments and the full post content.
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (55)
On of the claims is analytic.
1+1=2is true by definition of what2means. There's little emotion involved.When it comes to an issue such as
is there evidence for the existence of ghosts?neither rationality after Eliezer's sequences nor CFAR argues that emotions play no role. Noticing when you feel the emotion of confusion because your map doesn't really fit is important.Beauty of mathematical theories is a guiding stone for mathematicians.
Basically any task that doesn't need emotions or intuitions is better done by computers than by humans. To the extend that human's outcompete computers there's intuition involved.
Russell and Whitehead would beg to differ.
"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.