ot! mur ot

하다고 했지. 그의 말은 Voto}, 때문에 4색 정리를 함께 고민할 래밍에도 일가견이 있는 수학자와 함께

대했단다. 그때 나에게 한 줄기 서광이 BBO,

에 Sit ~ 000

에

So

a

Ed

아펠은 매우 뛰어난 컴퓨터 프로그래머였지. 그의 컴퓨터 실력

은 4색 정리의 해결에 결정적인 역할을 했단다. 그는 나의 작업

에 기꺼이 같이 하기로 했단다. 나는 축소 가능성 여부를 체크하

는 것을 잠시 접어 두고 우선 불가피한 배열의 집합을 완성하는

2000개였어. 이제 우리에게 남은 것은 두 가지. 하나는 2000개

의 배열로 이뤄진 집합이 진정으로 불가피한 배열의 집합인지를

함께 우리가 만든 집합이 불가피한 배열의 집합임을 증명했어.

ge x » 니 0 오 re 1 ue, 띠 2 mad

에 jo os 38 ay rz 00 aly 4o ats N A

하켄이 SAFE 444 정리 이야기