Günter M. Ziegler

《하늘책의 증명》은 마르틴 아이그너와 귄터 M. 지글러가 쓴 수학증명 책이다. 이 책은 수학자 에르되시 팔에게 헌정되었다. 에르되시는 수학 정리의 우아한 정리를 볼 때면 그것을더러 신이 가지고 있는 ‘그 책’에 있는 증명이라고 말하곤 했다. 1985년 강의에서 에르되시는 “신을 믿을 필요는 없지만, 그 책은 믿어야 한다”고 말하였다. 《하늘책의 증명》은 32개 부분으로 나뉘어 있으며, 각각의 부분에서는 한 개의 정리와 그에 대한 복수의 증명 그리고 관련 결과를 수록하고 있다. 여기서 다루는 정리들은 정수론, 기하학, 해석학, 조합론, 그래프 이론 등 다양한 분야를 …