λ演算不仅仅是一种形式主义，而是一种可以表达计算的语言。

The global art scene is not a monolith; it is a mosaic of diverse perspectives and practices.

在数学中，提出问题的艺术必须比解决问题更有价值。

预测未来的最好方法就是创造未来。

The best way to be successful is to be confident.

The best way to predict the future is to invent it.

一个民族的记忆是其最具争议的领土。