从思维规律到计算机逻辑

值乔治·布尔逝世125周年之际,我们看看他的思想对逻辑学、数学和计算机科学的影响在一又四分之一世纪之前,有一个人去世了。按照伯兰特·罗素的说法,这个人发现了纯粹数学。知识界的上层大概都熟悉以布尔命名的代数学,即作为现代逻辑学的先驱者乔治·布尔是19世纪最有影响的思想.

计算机担负证明的责任

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