Logarithms invert exponentials - History — LessWrong