증명(proof) 수학자에게 증명이란 기본 도구이지만 프로그래머에겐 더 의심 많은 것이다. 증명이란 다른 사람들에게 것을 사용하기 위한 준비가 되었음을 확신하게 하는 논쟁이다. 어떻게 증명을 이해하고 발견하고 설명하고 즐길지 공부할 예정이다. 문제) 88체스판을 12 타일로 채우기 (비는 칸과 겹치는 칸 없도록) → 타일채우기가 불가한 경우를 증명해보자 코너 1칸만 잘릴 경우 항상 1칸이 남는다. 8*8-1=63 (홀수) → 불가능함을 증명할 수 있음 서로 대각선에 있는 코너 2칸이 잘린 경우 2칸이 남는 경우가 생긴다. → 체스보드의 같은 색이 사라질 경우에는 타일 채우기가 불가능함.(1*2 타일에서 검정, 흰색이 하나의 짝이 되므로) 정리 → 대각선 두 코너가 없는 88 체스보드는 12 도미노로 채워..