Mathematician Quotes and aphorisms about prove Henri Poincare Andre Weil G. H. Hardy Stephen Cole Kleene George Boole