MugaSofer comments on By Which It May Be Judged - Less Wrong

35 Post author: Eliezer_Yudkowsky 10 December 2012 04:26AM

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

Comments (934)

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

Comment author: MugaSofer 13 December 2012 07:28:54PM 2 points [-]

Abraham Lincoln either did or did not masturbate on his 15th birthday. But no one can "meaningfully" (in the sense in which I've used the word) say that he did or didn't.

OK, that's not the local definition of "meaningful". That explains the confusion.

there are problems with "elegance", like a lack of agreement on what it means, unless you say "elegance as defined by ..."

Well, yeah. But we can look at proofs and sort 'em into "elegant" and "inelegant", I guess, so presumably the are criteria buried somewhere in our circuitry. Doubtless inordinately complex ones.