问题 单项选择题

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

A.仅仅Ⅰ。

B.仅仅Ⅱ。

C.仅仅Ⅲ。

D.仅仅Ⅰ和Ⅲ。

E.Ⅰ、Ⅱ和Ⅲ。

答案

参考答案:D

解析:

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

单项选择题
单项选择题