Kenneth Appel
1932–2013, Brooklyn, New York, Hoa Kỳ, Dover, New Hampshire, Hoa Kỳ
Nhà toán học người Mỹ cùng Wolfgang Haken chứng minh định lý bốn màu năm 1976 bằng phân tích trường hợp có sự trợ giúp của máy tính, một trong những chứng minh máy tính đầu tiên trong toán học.
Kenneth Appel sinh ra ở Brooklyn, New York, và nhận bằng tiến sĩ toán học tại Đại học Michigan năm 1959 dưới sự hướng dẫn của Roger Lyndon, sau thời gian làm nhân viên bảo hiểm và phục vụ trong quân đội Mỹ. Ông gia nhập khoa toán của Đại học Illinois tại Urbana-Champaign năm 1961.
Cùng đồng nghiệp Wolfgang Haken, Appel dành nhiều năm xây dựng chiến lược đưa giả thuyết bốn màu — nêu ra lần đầu năm 1852 — về một tập hữu hạn các cấu hình bản đồ có thể kiểm tra được. Năm 1976 hai ông công bố chứng minh: mọi phản ví dụ tiềm năng đều phải chứa một trong 1.936 cấu hình không thể tránh khỏi, và một máy tính IBM đã kiểm tra từng cấu hình trong hơn một nghìn giờ xử lý. Đây là định lý lớn đầu tiên có chứng minh phụ thuộc thiết yếu vào máy tính, mở ra cuộc tranh luận dài về thế nào là một chứng minh toán học.
Appel và Haken cùng nhận giải Fulkerson năm 1979 cho công trình này. Sau đó Appel làm chủ nhiệm khoa toán tại Đại học New Hampshire, nghỉ hưu năm 2003. Ông mất tại Dover, New Hampshire, năm 2013.
Nơi làm việc: Đại học Illinois tại Urbana–Champaign, Đại học New Hampshire
Hoa Kỳ