现在已经没有数学家会一概拒绝通过繁复计算完成的定理证明。但是在1976年，情况却不是这样。那时，有些数学家不接受关于映射定理的计算机证明，理由仅仅是：定理是简单的，而证明太繁复了。尽管现在有些数学家仍然坚持简单的数学定理的证明应当是简短的，但所有的数学家都

admin2014-12-23 63

问题现在已经没有数学家会一概拒绝通过繁复计算完成的定理证明。但是在1976年，情况却不是这样。那时，有些数学家不接受关于映射定理的计算机证明，理由仅仅是：定理是简单的，而证明太繁复了。尽管现在有些数学家仍然坚持简单的数学定理的证明应当是简短的，但所有的数学家都认识到，有些简单的数学定理确实少不了繁复的证明。
如果上述断定为真，则以下哪项一定是真的?
Ⅰ．有些坚持简单定理应当简短证明的数学家，由于注意到简单的数学定理确实少不了繁复的证明，一定会考虑简单定理的复杂证明。
Ⅱ．那些坚持简单定理应当简短证明的数学家，由于认识到“应当”不等于“可行”，一定不会拒绝任一定理的繁复证明。
Ⅲ．现在一概拒绝通过繁复计算完成定理证明的人，一定不是数学家。

选项 A、仅仅Ⅰ。
B、仅仅Ⅱ。
C、仅仅Ⅲ。
D、仅仅Ⅰ和Ⅲ。
E、Ⅰ、Ⅱ和Ⅲ。

答案D

解析 Ⅰ一定真。因为题干已经断定了“所有的数学家都认识到，有些简单的数学定理确实少不了繁复的证明”，当然也就包括那些“坚持简单定理应当简短证明的数学家”也认识到了。Ⅲ一定真。因为既然所有数学家都已经认识到了有些定理确实少不了复杂证明，所以现在如果还一概拒绝通过繁复计算完成定理证明的人，那一定不是数学家。Ⅱ不一定真。“一定不会拒绝”过强，不必真。

转载请注明原文地址:https://kaotiyun.com/show/hsqa777K

本试题收录于：管理类联考综合能力题库专业硕士分类