肯尼斯·阿佩尔
1932–2013, 美国纽约布鲁克林, 美国新罕布什尔州多佛
组合数学与离散数学
美国数学家,与沃尔夫冈·哈肯一起在1976年利用早期计算机辅助的情形分析证明了四色定理。
肯尼斯·阿佩尔生于纽约布鲁克林,曾做过精算师并在美国陆军服役,后于1959年在罗杰·林顿指导下取得密歇根大学数学博士学位。1961年,他加入伊利诺伊大学厄巴纳-香槟分校数学系。
阿佩尔与同事沃尔夫冈·哈肯多年致力于把1852年首次提出的四色猜想归约为有限个可检验的地图构型。1976年,两人宣布了证明:任何潜在反例都必须包含1936个不可避免构型之一,一台IBM计算机耗费一千多小时逐一检验了这些构型。这是第一个证明本质上依赖计算机的重大定理,由此引发了关于何为数学证明的长期争论。
阿佩尔与哈肯因此共获1979年富尔克森奖。此后阿佩尔在新罕布什尔大学任数学系主任,2003年退休。2013年,他在新罕布什尔州多佛去世。
工作单位: 伊利诺伊大学厄巴纳-香槟分校, 新罕布什尔大学
美国