Qiaochu_Yuan comments on Post ridiculous munchkin ideas! - Less Wrong

55 Post author: D_Malik 15 May 2013 10:27PM

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

Comments (1240)

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

Comment author: Eliezer_Yudkowsky 11 May 2013 07:11:37PM 24 points [-]

I once considered changing my name to Ben Abard but decided that the original Eliezer Yudkowsky sounded more like a scientist.

Comment author: Qiaochu_Yuan 12 May 2013 08:04:08AM 11 points [-]

I've always been mildly annoyed that I don't have an eastern European last name. All the cool mathematicians seem to have eastern European last names.

Comment author: Darmani 12 May 2013 09:43:26AM -1 points [-]

You mean, a lot of cool mathematicians are eastern European. But Terry Tao and Shinichi Mochizuki are not.

Comment author: Qiaochu_Yuan 12 May 2013 06:57:48PM 23 points [-]

Man, this is that thing I was talking about earlier when someone takes a colloquial phrase that sounds like a universal quantifier and interprets it as literally a universal quantifier.

Comment author: ciphergoth 14 May 2013 04:19:11PM 23 points [-]

Yeah, people do that all the time.

Comment author: RichardKennaway 16 May 2013 10:30:23AM 4 points [-]

In ordinary language, all universal quantifiers are implicitly bounded.

Comment author: Creutzer 27 May 2013 03:55:28PM 2 points [-]

Actually, what's at play here is not the implicit domain restriction of natural language quantifiers, because he obviously didn't restrict the domain of the quantifier to just those mathematicians that have an Eastern European last name; that'd make the statement trivial. Rather, the phenomenon we see here is what's self-explanatorily called "loose talk", where you can say things that are strictly true when they are close enough to being true, i.e. when the exceptions don't matter for current purposes.

Comment author: Kawoomba 27 May 2013 04:00:12PM 2 points [-]

A typical failure mode for computer scientists, who typically are trained to check statements against boundary cases / extreme values, to make sure an exception isn't thrown / that the result isn't out of bounds.