The notion of truth is not definable in any formal system that is strong enough to include arithmetic.
真理的概念在任何足够强大以包含算术的形式系统中都是不可定义的。
I've always been drawn to characters who are on the edge, who are struggling with something.
We will never run out of things to program as long as there is a single program around.
如果一件事情自己都没有搞明白，又怎么能去教导别人，让别人明白呢？
元素并非随意分布，而是遵循更高的秩序。