切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
证明的重担将落在计算机上
证明的重担将落在计算机上
来源 :世界科学 | 被引量 : 0次 | 上传用户:zzdlily_6000
【摘 要】
:
到目前为止,数学家们能够自身验证任何证明的正确性,但当他们转向用计算机去解决一些长久悬而未决的难题时,除了机器以外没人能够验证解答的正确性。
【作 者】
:
寿华好
【出 处】
:
世界科学
【发表日期】
:
1995年9期
【关键词】
:
计算机
数学证明
数学定理
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
到目前为止,数学家们能够自身验证任何证明的正确性,但当他们转向用计算机去解决一些长久悬而未决的难题时,除了机器以外没人能够验证解答的正确性。
其他文献
预备役部队装备保障能力建设粗探
人与装备是战斗力构成的基本要素,装备保障能力是战斗力的有机组成部分。要坚持以军民融合战略思想为指导,着眼提高以打赢信息化条件下局部战争能力为核心的完成多样化军事任务
期刊
装备保障能力
预备役部队
能力建设
多样化军事任务
有机组成部分
信息化条件
军民融合
战争能力
深入学习贯彻党的十八大精神在新的起点上推进国防动员和后备力量建设创新发展
党的十八大描绘了富国强军的宏伟蓝图,对国防和军队建设作出了战略部署,明确指出“提高国防动员和后备力量建设质量”。这为新形势下加强国防动员和后备力量建设指明了方向。各
期刊
后备力量建设
国防动员
创新
精神
学习
国防和军队建设
富国强军
部署
输电线路并联电抗器的运行效果及选择,安装应注意的问题
期刊
输电线路
移相电抗器
运行
激光雷达探测生物武器
激光雷达探测生物武器程天友编译洛萨拉莫斯和利物摩尔两个国家实验室正在研制能在战场上使用,有效距离大到100km,能探测生物战作用物质的空中激光雷达系统。根据美国陆军主持的一项
期刊
雷达
激光雷达
生物武器
顶夸克研究的新进展
顶夸克研究的新进展I.Peterson著孙家明译顶夸克的真实面貌在数万亿次的质子和反质子的高能对撞中逐渐地显现出来了。去年,伊利诺斯州巴达维亚费米国立加速器实验室(简称费米实验室)的物理
期刊
顶夸克
费米实验室
夸克
上夸克
下夸克
远距离学习:多媒体将引起一场教育革命
远距离学习:多媒体将引起一场教育革命章建康编译交叉性多媒体系统可望导致一场教育革命,将来,人们可在任何地方、任何时间学习任何知识。在一个每过几年知识就变得陈旧的持续变化的复杂世界中,教育不再是人们年青时所接受但可终身受益的东西,相反,教育必须重点培养...
期刊
远距离学习
多媒体系统
教育革命
知识库系统
战争影响了诺贝尔奖评选的公正性
战争影响了诺贝尔奖评选的分正性ElisabethCrawford,RuthSimeandMarkWalker著赵乐静译许多历史学家认为.以发现核裂变而让奥托·哈恩《OttoHahn)独享1944年诺贝尔化学奖是不公平的。实际上.这种争议早在提名之初就...
期刊
战争
诺贝尔奖
物理学
解决小学数学教学实际问题的策略研究
随着教学模式的改革与创新,我国对小学数学课程教学提出了更高的质量要求,如何采取有效方法提高小学数学教学实际问题解决效率尤为重要,教育机构与教师要引起足够重视,数学课程作
期刊
小学数学
实际问题
解决策略
教学研究
药品变质会发生哪些信号?
<正> 1.胶囊剂有软化、碎裂或表面发生粘连现象。2.丸剂有变形、变色、发霉或臭味。3.药片有花斑、发黄、发霉、松散或出现结晶。4.糖衣片表面已褪色露底,出现花斑或黑色,或
期刊
药品质量
药品保存
贮存条件
保质期限
有效期
浅谈军分区如何在全面建成小康社会中更好地发挥职能作用
党的十八大报告明确提出:“坚定不移沿着中国特色社会主义道路前进,为全面建成小康社会而奋斗”,“到2020年实现全面建成小康社会宏伟目标”。这个重大战略部署,既是符合时代要求
期刊
全面建成小康社会
军分区
中国特色社会主义道路
职能作用
行动纲领
人民愿望
工作部门
中央军委
与本文相关的学术论文