形式系统的发展彻底改变了我们对数学的理解。

I have to remind myself that some birds aren't meant to be caged. Their feathers are just too bright. And when they fly away, the part of you that knows it was a sin to lock hem up DOES rejoice. Still, the place you live in is that much more drab and empty that they're gone. I guess I just miss my friend.

唯一重要的是凝视的强度。

True innovation happens when you step outside your comfort zone.