Comment by Gangsta_Trippin on A question about Eliezer · 2012-04-20T16:26:46.593Z · LW · GW

complicated proofs are prestigious but it’s much more important to figure out which theorem to prove

Viewtifully phrased...

Comment by Gangsta_Trippin on A question about Eliezer · 2012-04-20T15:54:14.041Z · LW · GW

I, non-programmer, have a question my programmer friends asked me: why can't they find any of Eliezer's papers that have any hard math in them at all? According to them, it's all words words words. Excellent words, to be sure, but they'd like to see some hard equations, code, and the like, stuff that would qualify him as a researcher rather than a "mere" philosopher. What should I link them to?