"Something more than impeccable logic is required in mathematics. An expert logician will not necessarily be a passable mathematician for all his skill in logic, any more than a scholarly prosodist will be a respectable poet for all his mastery of meter."