
Applied mathematics will always need pure mathematics just as anteaters will always need ants
citado em "Automated reasoning with analytic tableaux and related methods ..." - Página 22, Bernhard Beckert - Birkhäuser, 2005, ISBN 3540289313, 9783540289319 - 342 páginas