“His strength rested on the invention and calculative execution of formal processes. There exist papers of his where twenty pages of formulas are not interrupted by a single text word; it is told that in all his papers he himself wrote the formulas only, the text being added by his friends.”