使用程序证明四色定理不会改变数学-它只是表明该定理是一个世纪的挑战,对数学可能并不重要。
最好的科学是用开放的心态和学习的意愿完成的。
我们都是自然的实验品。
我不会告诉他们裁员的事。如果病人得了癌症,你不会告诉他们。
The more you praise and celebrate your life, the more there is in life to celebrate.
逻辑学研究不仅仅是关于形式系统,更是关于推理本身的本质。
"The problem with being faster than light is that you can only live in darkness."
"The truth is not always beautiful, nor beautiful words the truth."