The revolution is a long and arduous struggle, but it is the only way to achieve true independence and freedom.
抱最好的希望，做最坏的打算。
在数学中，你并不理解事物。你只是习惯了它们。
形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
永远别说永远，因为限制只是幻觉。
The first man who， having enclosed a piece of ground， bethought himself of saying 'This is mine，' and found people simple enough to believe him， was the real founder of civil society.
The best way to learn AI is by doing projects and solving real-world problems.
仁义、礼仪、智慧、诚信，这些都是仁的表现。