The greatest problem for mathematicians now is probably the Riemann Hypothesis.

Liberty consists in doing what one desires.

Do not anticipate and move without market confirmation—being a little late in your trade is your insurance that you are right or wrong.

Literature is the record of human experience.

"The key to successful verification is to start with a clear and precise specification of what the system is supposed to do."

策展不是选择，而是创造。