In mathematics, you don't understand things. You just get used to them.
The only way to deal with an unfree world is to become so absolutely free that your very existence is an act of rebellion.
形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
The future of computing lies in the integration of different fields, such as biology, physics, and mathematics.
我不会放弃，我会升级。