形式系统的发展彻底改变了我们对数学的理解。
I’m not afraid. I’m focused.
The only way to change the world is to change the way we think.
Sustainability is not just about planting trees; it's about planting the right trees in the right places and ensuring they thrive for generations.
我不喜欢正经的小说。在正经小说里,人们会说这样的话:“我的血管里流淌着铁、银和普通的泥土。我无法像那些不依赖刺激的人那样握紧拳头。”这是什么意思?我不知道。父亲也不知道。写这些书的人也不知道。