计算的研究不仅仅是关于机器,而是关于思维和逻辑的本质。
文章是用来阐明道理的。