The future of computing lies in the development of systems that can verify their own correctness.
The real danger is not that computers will begin to think like men, but that men will begin to think like computers.
释义:国际秩序的本质是武力威慑下的平衡。
The future belongs to those who can balance economic growth with environmental protection.
成为你希望在世界上看到的改变。
Keep your face always toward the sunshine, and shadows will fall behind you.