计算机担负证明的责任

下载PDF

导出

摘要直到最近,数学家才能检验证明的正确性,可一旦求助于计算机解决一些长期遗留的问题,就只有计算机能检验答案。 1976年,依利诺斯大学的两位数学家肯·埃普(Kenneth Appel)和沃·哈肯(Wolfgang Haken)解决了四色问题。四色问题是1852年由伦敦大学的学生佛·欣斯里(Francis Guthrie)提出的,他当时观察到:如果近邻区域着以不同颜色。

作者 Arturo Sangalli 刘军

出处《世界科学》 1991年第12期10-11,33,共3页 World Science

关键词计算机辅助证明

分类号 TP39 [自动化与计算机技术—计算机应用技术]

引文网络
相关文献

1王昌晶,薛锦云.Radl形式规格说明相对正确性研究[J].软件学报,2013,24(4):715-729. 被引量：6
2罗尔聪,郭宇.μC/OS-Ⅲ任务调度器在Coq中的验证[J].计算机工程,2015,41(3):53-58. 被引量：1
3袁理,黄大海.基于PKI的无线异构网接入认证[J].软件导刊,2010,9(2):115-117. 被引量：1
4钱振江,刘苇,黄皓.HybridHP:一种轻型的内核完整性监控方案及其形式化验证[J].计算机学报,2012,35(7):1462-1474. 被引量：2
5罗婷,郭渊博,郝耀辉.基于ACSL的密码软件形式化验证方法[J].信息安全与通信保密,2011,9(7):76-78.
6胡成军,王戟,陈火旺.区间逻辑的一个辅助证明工具[J].软件学报,2000,11(1):116-121. 被引量：2
7王昌晶.基于扩展逻辑变换系统_μTS证明循环优化正确性[J].计算机研究与发展,2012,49(9):1863-1873. 被引量：2
8张景中,张传军,郑焕,饶永生,邹宇.SGARP中符号计算模块的实现及其应用[J].计算机研究与发展,2014,51(6):1341-1351.

世界科学

1991年第12期

浏览历史

内容加载中请稍等...

计算机担负证明的责任

相关作者

相关机构

相关主题

浏览历史