人们普遍认为,高智商的人能够很容易地抓住思想,做出区分,进行逻辑推理,并使用语言和数学符号来解决问题。
It is generally agreed that a person of high intelligence is one who can grasp ideas readily, make distinctions, reason logically, and make use of verbal and mathematical symbols in solving problems.
在数学史的的很长时间内,逻辑推理一直占据数学方法的中心地位。
For a long period of the history of mathematics, the centric place of mathematical methods was occupied by the logical deductions.
数学既是一个知识体系,又是一个理性的思辩体系,它是经过高度抽象和严格的逻辑推理形成的系统化理论知识总和。
Maths is not only a knowledge system but also a rational thinking and argument system. It is a systematism theory knowledge summation by height abstract and strict logic ratiocination.
We know machines have limited capacities to engage in mathematical and logical reasoning, to recognize things, to do various forms of computations, and this makes it at least possible that we are such machines.
我们也知道机器,在数学推理与逻辑推理方面,在识别物体方面,在完成各种形式的运算方面,的确是拥有有限的能力的,这至少说明,人类就是这样的机器
应用推荐