A good mathematician is lazy, but in a constructive way.
一个好的数学家是懒惰的,但是以一种建设性的方式。
ENIAC是现代计算机发展史上的第一个巨大飞跃。
The said truth is that it is the greatest happiness of the greatest number that is the measure of right and wrong.