It is the greatest happiness of the greatest number that is the measure of right and wrong.
我希望不久之后我们就能有一台能够解决所有数学问题的机器。
The power of a system comes from its ability to compose and decompose representations.