Theorems are of no value unless they are beautiful.
除非定理是美丽的,否则它们毫无价值。
软件是否有可能与其他软件不同,是否应该被丢弃:整个目的是将其视为肥皂泡?
The world is a comedy to the wise, a tragedy to the foolish.