케네스 아이라 아펠(Kenneth Ira Appel, 1932년 10월 8일 ~ 2013년 4월 19일)은 미국의 수학자이다.
생애
케네스 아펠은 1932년 10월 8일 미국 뉴욕 브루클린에서 유대인 가정의 아들로 태어났다. 퀸스에서 성장했으며, 퀸스 칼리지에서 학사 학위를 받은 후 미시간 대학교에서 1956년 석사, 1959년 박사 학위를 취득하였다. 박사 지도교수는 로저 린든(Roger Lyndon)이었다. 1959년부터 1961년까지 프린스턴의 국방분석연구소(Institute for Defense Analyses)에서 암호학 연구를 수행하였다.
1961년 일리노이 대학교 어배너-섐페인 캠퍼스 수학과 교수진으로 합류하여 1967년 부교수, 1977년 정교수가 되었다. 1993년 뉴햄프셔 대학교로 자리를 옮겨 수학과 학과장을 지냈으며, 2003년 명예교수로 은퇴하였다. 2012년 미국수학회(AMS) 펠로우로 선출되었다. 2013년 4월 19일 뉴햄프셔주 도버에서 식도암으로 별세하였다.
주요 업적: 4색 정리 증명
케네스 아펠은 1976년 볼프강 하켄(Wolfgang Haken)과 함께 4색 정리(Four Color Theorem)를 증명한 것으로 가장 널리 알려져 있다. 4색 정리란 "어떤 평면 지도라도 인접한 지역이 서로 다른 색을 가지도록 하려면 네 가지 색이면 충분하다"는 명제로, 1852년 처음 제기된 이후 120년 이상 증명되지 못한 수학계의 난제였다.
아펠과 하켄의 증명은 약 1,200시간의 컴퓨터 계산과 약 100억 개의 논리적 판단을 필요로 했으며, 이는 수학 역사상 최초로 컴퓨터를 광범위하게 활용한 주요 증명이라는 점에서 큰 논란과 주목을 동시에 받았다. 당시 많은 수학자들은 컴퓨터를 이용한 증명 방식에 대해 "수학적 증명은 시와 같아야 하는데, 이는 전화번호부와 같다"는 비판을 제기하였다. 그러나 이 증명은 이후 수학계에서 컴퓨터를 도구로 활용하는 실험 수학(experimental mathematics)의 시초로 평가받는다.
아펠과 하켄은 이 업적으로 1979년 델버트 레이 풀커슨 상(Delbert Ray Fulkerson Prize)을 수상하였으며, 1989년 저서 《Every Planar Map is Four Colorable》(Contemporary Mathematics, vol. 98)을 출간하였다.
기타 학문적 기여
아펠은 군론(group theory), 계산 가능성 이론(computability theory), 위상수학(topology) 분야에서도 연구를 수행하였다. P. E. 슈프(Schupp)와의 공동 연구로 아르틴 군(Artin Groups)과 무한 콕세터 군(Infinite Coxeter Groups)에 관한 논문을 발표하였다.
가족
아내는 캐롤 S. 스타인(Carole S. Stein)이며, 슬하에 두 아들(앤드류 W. 아펠, 피터 H. 아펠)과 한 딸(로렐 F. 아펠)을 두었다. 장남 앤드류 W. 아펠(Andrew W. Appel)은 프린스턴 대학교 컴퓨터공학 교수로, 컴파일러 분야의 권위자이다.
