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

admin2009-02-15 45

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

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

答案8

解析

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

本试题收录于： GCT工程硕士（逻辑）题库专业硕士分类

GCT工程硕士（逻辑）

专业硕士

相关试题推荐

随机试题

最新回复(0)

GCT工程硕士（逻辑）

专业硕士

我国刑法规定，对犯罪集团的首要分子的处罚原则是()。

在上题断定中再增加如下断定：“有的北方队员是大学一年级学生”，并假定这些断定都成立，那么，下列哪项断定必定为假?

如果甲和乙都没有考试及格的话，那么丙就一定及格了。上述前提再增加以下哪项，就可以推出“甲考试及格了”的结论?()

湖北省全省地貌结构呈现的特征为()。

焦虑性神经症发作有两种形式，一种为广泛性焦虑障碍，另一种为

采集病史时，应重点询问以下各项，除了若患者有长期服用药物史，则可能是哪些药物

女，56岁。急刹车受伤致髋关节剧痛3小时，查体：右髋关节活动受限，屈曲内收，内旋畸形，右髋关节屈伸活动障碍，最可能的损伤是

建设工程施工劳务分包合同中，关于劳务报酬计取，下列说法不正确的是(　　)。

出票人甲于2月12日签发了一张现金支票。根据《支付结算办法》的规定，对该支票出票日期的填写，符合规定的是()。

假设销货成本计算结果如下所示：这种成本计量的方法是

Usingtheinformationinthetext,completeeachsentence14-18withanexpressionfromthelistbelow.Foreachsentence(14

A、Onehundredmiles.B、Threehundredmiles.C、Onehundredandfiftymiles.D、Sixhundredmiles.C数字计算题。根据录音首句“从北部到南部，以及从东部到西部，只有

GCT工程硕士（逻辑）

专业硕士

我国刑法规定，对犯罪集团的首要分子的处罚原则是()。

在上题断定中再增加如下断定：“有的北方队员是大学一年级学生”，并假定这些断定都成立，那么，下列哪项断定必定为假?

如果甲和乙都没有考试及格的话，那么丙就一定及格了。上述前提再增加以下哪项，就可以推出“甲考试及格了”的结论?()

湖北省全省地貌结构呈现的特征为()。

焦虑性神经症发作有两种形式，一种为广泛性焦虑障碍，另一种为

采集病史时，应重点询问以下各项，除了若患者有长期服用药物史，则可能是哪些药物

女，56岁。急刹车受伤致髋关节剧痛3小时，查体：右髋关节活动受限，屈曲内收，内旋畸形，右髋关节屈伸活动障碍，最可能的损伤是

建设工程施工劳务分包合同中，关于劳务报酬计取，下列说法不正确的是( )。

出票人甲于2月12日签发了一张现金支票。根据《支付结算办法》的规定，对该支票出票日期的填写，符合规定的是()。

假设销货成本计算结果如下所示：这种成本计量的方法是

Usingtheinformationinthetext,completeeachsentence14-18withanexpressionfromthelistbelow.Foreachsentence(14

A、Onehundredmiles.B、Threehundredmiles.C、Onehundredandfiftymiles.D、Sixhundredmiles.C数字计算题。根据录音首句“从北部到南部，以及从东部到西部，只有

建设工程施工劳务分包合同中，关于劳务报酬计取，下列说法不正确的是(　　)。