此题为判断题(对,错)。
第1题:
1、____________是极少数以国家命名的数学定理。
A.中国剩余定理
B.意大利定理
C.西班牙定律
D.土耳其不等式
第2题:
让机器证明数学定理是经验主义、符号主义
第3题:
13、在数学的定义上,()是指四则运算的理论依据,它是由数学概念、性质、定律等内容构成的数学基础理论知识。
A.算理
B.算术
C.定义
D.定理
第4题:
8、下列说法正确的是()
A.存在一个计算机程序,能够自动判定任何一个数学命题是否成立
B.存在一个形式推理系统,能够得到所有成立的数学命题
C.存在数学定理,可以应用自动定理证明器进行自动证明
D.无
第5题:
2、费马最后定理的证明发表在哪本杂志上 。
A.《数学杂志》
B.《数学年刊》
C.《数学新进展》
D.《纯数学与应用数学杂志》