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

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

admin2009-02-15  40
问题 现在已经没有数学家会一概拒绝通过繁复计算完成的定理证明。但是在1976年，情况不是这样。那时，有些数学家不接受关于映射定理的计算机证明，理由仅仅是：定理是简单的，而证明太繁复了。尽管现在有些数学家仍然坚持简单的数学定理的证明应当是简短的，但所有的数学家都认识到，有些简单的数学定理确实少不了繁复的证明。如果上述断定为真，则以下哪项一定为真?
Ⅰ．有些坚持简单定理应当简短证明的数学家，由于注意到简单的数学定理确实少不了繁复的证明，一定会考虑接受简单定理的复杂证明。
Ⅱ．那些坚持简单定理应当简短证明的数学家，由于认识到“应当”不等于“可行”，一定不会拒绝任一定理的繁复证明。
Ⅲ．现在一概拒绝通过繁复计算完成定理证明的人，一定不是数学家。
选项 A、Ⅰ、Ⅱ和Ⅲ。
B、仅Ⅰ和Ⅱ。
C、仅Ⅲ。
D、仅Ⅰ和Ⅲ。
答案8
解析
转载请注明原文地址:https://kaotiyun.com/show/huai777K
本试题收录于： GCT工程硕士（逻辑）题库专业硕士分类
0

GCT工程硕士（逻辑）

专业硕士

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