who said "a formal manipulator in mathematics often experience the discomforting feeling that his pencil surpasses him in intelligence"?