41°, oy, rm ee

Ol clr i a rie, by », iy b> N ar ped = 0요 We ito HE So clr 보

_으 olN

명

16 리기 Fe

#7} 된

x, ae

이때부터 수학자들은 이 집합의 PAS 모으기 시작했고 하나 둘 목록이 쌓여 갔지. 그 결과 1950년경에는 나라의 수가 35개 이하인 모든 평면 지도는 4색만으로 색칠할 수 있다는 것을 증명 했어.

“어제 SYS] 길이 열렸군요.” “그런데 내용이 WL AE 있지만 원소 찾는 것도 보통 힘든 게 아닌걸요?”

그렇지. 바로 문제가 발생했어. 불가피한 배열의 집합을 찾는

것은 너무나 wl 신기루 같았지. 원소는 계속 쌓여 갔지만 누구도 자신이 만든 게 마지막 원소라고 말을 하지 못했어. 이제부터 지

루한 계산의 시간이 도래한 거지. 허느덧 축소 가능한 배열 여부를 조사하는 것은 인간의 gee 할 수 없을 만큼 거대해졌어. 나라의 수도 몇 십 개로 늘어난 데

다 그들이 축소 가능한지를 증명하는 것은 인간의

A 시험하는 HS1WAl. 이 작업은 이제 인간의 존으로 해결할 수

Of 번째 수업