计算的研究不仅仅是关于机器,而是关于思维和逻辑的本质。