4색 정리

초록

수학에서 유명한 난제 중 하나였던 4색정리는, 컴퓨터를 이용하여 증명된 최초의 난제라는 타이틀이 있는데요. 어떤 아이디어로 4색 정리를 증명하였는지를 살펴보고, 컴퓨터를 사용하지 않은 증명을 찾기 위한 수학자들의 여러 시도들을 살펴볼 예정입니다.

Abstract

The Four Color Theorem, one of the famous hard problems in mathematics, holds the title of being the first hard problem to be proven with the help of a computer. We will look at the idea behind its proof, and then examine the various attempts mathematicians have made to find a proof that does not rely on a computer.