现代文化的发展特点是一个人可能称之为客观精神对主观精神的支配。
生活就是关于成长和改变。当你停止成长,你就停止了生活。
The future of computing lies in the development of systems that can verify their own correctness.
始终不渝地忠实于自己和别人,就能具备最伟大才华的最高贵品质。