数学的本质不是把简单的事情复杂化,而是把复杂的事情简单化。
计算的研究不仅仅是关于机器,而是关于思维和逻辑的本质。