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

admin2014-12-23  39

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

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

答案D

解析 Ⅰ一定真。因为题干已经断定了“所有的数学家都认识到,有些简单的数学定理确实少不了繁复的证明”,当然也就包括那些“坚持简单定理应当简短证明的数学家”也认识到了。Ⅲ一定真。因为既然所有数学家都已经认识到了有些定理确实少不了复杂证明,所以现在如果还一概拒绝通过繁复计算完成定理证明的人,那一定不是数学家。Ⅱ不一定真。“一定不会拒绝”过强,不必真。
转载请注明原文地址:https://jikaoti.com/ti/OZ4UFFFM
0

相关试题推荐
随机试题
最新回复(0)