我不能继续,我会继续。
I can't go on, I'll go on.
夜晚是一座伟大的剧院,但星星是它的演员。
The only way to learn mathematics is to do mathematics.
The future of computing lies in the development of systems that can verify their own correctness.
我不是榜样……我只是一个打篮球的人。