Gangsta_Trippin

Posts

Sorted by New

Wiki Contributions

Comments

Sorted by

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

Viewtifully phrased...

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?