The Logician And The God-Emperor — LessWrong