Words were not given to man in order to conceal his thoughts.
计算的研究不仅仅是关于机器,而是关于思维和逻辑的本质。