Libertas est naturalis facultas eius quod cuique facere libet, nisi si quid vi aut iure prohibetur.
自由是每个人做他想做的事情的自然能力,除非受到暴力或法律的禁止。
想想在“算法”和“程序”之间寻求根本区别所花费的所有精神能量。
The conjectures of the Langlands program are not merely problems to be solved but a vision of how mathematics should be.