首页
外语
计算机
考研
公务员
职业资格
财经
工程
司法
医学
专升本
自考
实用职业技能
登录
考研
现在已经没有数学家会一概拒绝通过繁复计算完成的定理证明。但是在1976年,情况不是这样。那时,有些数学家不接受关于映射定理的计算机证明,理由仅仅是:定理是简单的,而证明太繁复了。尽管现在有些数学家仍然坚持简单的数学定理的证明应当是简短的,但所有的数学家都认
现在已经没有数学家会一概拒绝通过繁复计算完成的定理证明。但是在1976年,情况不是这样。那时,有些数学家不接受关于映射定理的计算机证明,理由仅仅是:定理是简单的,而证明太繁复了。尽管现在有些数学家仍然坚持简单的数学定理的证明应当是简短的,但所有的数学家都认
admin
2009-02-15
49
问题
现在已经没有数学家会一概拒绝通过繁复计算完成的定理证明。但是在1976年,情况不是这样。那时,有些数学家不接受关于映射定理的计算机证明,理由仅仅是:定理是简单的,而证明太繁复了。尽管现在有些数学家仍然坚持简单的数学定理的证明应当是简短的,但所有的数学家都认识到,有些简单的数学定理确实少不了繁复的证明。如果上述断定为真,则以下哪项一定为真?
Ⅰ.有些坚持简单定理应当简短证明的数学家,由于注意到简单的数学定理确实少不了繁复的证明,一定会考虑接受简单定理的复杂证明。
Ⅱ.那些坚持简单定理应当简短证明的数学家,由于认识到“应当”不等于“可行”,一定不会拒绝任一定理的繁复证明。
Ⅲ.现在一概拒绝通过繁复计算完成定理证明的人,一定不是数学家。
选项
A、Ⅰ、Ⅱ和Ⅲ。
B、仅Ⅰ和Ⅱ。
C、仅Ⅲ。
D、仅Ⅰ和Ⅲ。
答案
8
解析
转载请注明原文地址:https://kaotiyun.com/show/huai777K
本试题收录于:
GCT工程硕士(逻辑)题库专业硕士分类
0
GCT工程硕士(逻辑)
专业硕士
相关试题推荐
属于犯罪集团成立条件的有()。
行为人基于一个犯罪意图所支配的数个不同的罪过,实施一个危害行为,而触犯两个以上异种罪名的犯罪形态叫()。
1998年3月,梁某伪造了某市供销贸易公司营业执照副本、公章和合同专用章。当月中旬,梁某认识了周某,梁某自称是供销贸易公司业务经理,提出聘周某为公司业务员,周某允诺。3月下旬的一天,梁用伪造公章以供销贸易公司的名义与一乡办衬衫厂签订合同一份,约定衬衫厂供应
程某喜新厌旧,为达到摆脱妻子的目的,他在妻子吃的菜里投放了的毒鼠强,其妻赵某发现菜有异味,便倒给鸡吃,鸡吃菜后立即死亡。赵某知道肯定有人在菜中下了毒药,便将此事告诉程某。程某借机说这一定是李某所为(程某与李某有矛盾),然后打电话给公安机关,控告李某涉嫌投毒
我国1997年修订的刑法生效时间是()。
牟某,男,38岁。1999年7月因为犯非法持有毒品罪被判处有期徒刑2年。2004年3月牟某认识了在某保险公司工作的沙某。该保险公司中,国有资产占60%。沙某在该保险公司中负责理赔工作。牟某在和沙某商议后,由牟某购买一辆二手车,然后将该车在沙某工作的保险公司
合成材料的玻璃纤维,如石棉,在切割时会向空气中释放微小的纤维。众所周知,人们如果吸入了石棉纤维,他们的肺功能就会遭受伤害。一项对300名经常切割玻璃纤维的工厂工人的调查显示,平均而言,他们的肺活量仅是另一组不切割玻璃纤维的人的90%,这两组是具有可比性的
龙口开发区消防站向市政府申请购置一辆新的云梯消防车,这种云梯消防车是扑灭高层建筑火灾的重要设施。市政府否决了这项申请,理由是:龙口开发区现只有五幢高层建筑,消防站现有的云梯消防车足够了。以下哪项是市政府的决定所必须假设的?
大山中学所有骑自行车上学的学生都倒家吃午饭,因此,有些家在郊区的大山中学的学生不骑自行车上学。为使上述论证成立,以下哪项关于大山中学的断定是必须假设的?
广告:在许多投放市场的用于缓解窦头痛的非处方药中,深易司药每剂成本最低,并且每剂深易司药与别的药物中最有效的成分一样有效。因此,为了缓解窦头痛,深易司药是最好的选择。以下哪一项,如果正确,最严重地削弱上述论点?
随机试题
在我国,以下癌症患病率从时间上看总体呈下降趋势的是
缺铁性贫血的血象是()。
工程造价信息管理从管理组织的角度来划分,可以分为( )。
普通螺栓孔成孔的方法是()。
以下哪些工作属于水利工程建设项目施工实施阶段监理工作的基本内容()。
甲公司是一家制造业企业,只生产和销售防滑瓷砖一种产品。产品生产工艺流程比较成熟,生产工人技术操作比较熟练,生产组织管理水平较高,公司实行标准成本制度,定期进行标准成本差异分析。甲公司生产能量6000平方米/月,2016年9月实际生产5000平方米。其他相关
甲公司为我国境内注册的上市公司,其主要客户在我国境内。2×15年12月起,甲公司董事会聘请了W会计师事务所为其常年财务顾问。2×15年12月31日,该事务所担任甲公司常年财务顾问的注册会计师李某收到甲公司财务总监张某的邮件,其内容如下:李某注册会计师:
Lookingforanewweightlossplan?Trylivingontopofamountain.Mountainaircontainslessoxygenthanairatloweraltitud
(2002年)矩阵A=的非零特征值是_______.
Eventoday,(through)the(hustleandbustle)ofNevskyProspect,StPetersburg’smainstreet,the(classical)beautyofthecit
最新回复
(
0
)