未来属于那些相信自己梦想之美的人。
The future belongs to those who believe in the beauty of their dreams.
哲学的本质在于其质疑未被质疑的事物的能力。
The future of computing lies in the development of systems that can verify their own correctness.