💻컴퓨터가 풀어낸 수학 난제들

최근 수십년간 컴퓨터에 의한 수학 이론의 발견과 증명에 학자들 뿐만 아니라 일반인까지도 많은 관심을 가졌다. 컴퓨터가 증명한 수학문제들을 먼저 알아보고 이러한 컴퓨터의 발전이 현대 수학에 미치는 영향에 대해 생각해보자 . 컴퓨터에 의한 증명 컴퓨터에 의한 증명 중 제일 유명한 것은 4색문제일 것 같다. 1852년 영국의 수학자 프랜시스 구트리에는 영국 지도를 색칠하다 한 가지 물음을 갖게 된다. 임의의 구획으로 나뉜 지도를 색칠할 때 인접한 구획을 같은 색으로 칠하지 않으려면 최소한 몇 가지의 색이 필요할까? 실제로 색을 칠해보니 영국의 지도는 네 가지 색이면 충분하게 색칠 되었다. 그런데 그는 왜 그렇게 되는지 알 수는 없었다. 이 문제는 '4색 문제'라고 불리며 수수께끼로 남았고 100년이 넘는 시간..

2020.09.25