rein에게 빌린 책. 읽기 시작한지 꽤 오래 되었다. 이번 여름휴가를 틈타 달려서 완독.

이 책의 주제를 짧게 요약하면 '여기도 시궁창이야'다. 다만 저자(수학자)의 기준에서 시궁창인 것이고, 나는 이 책에서 다루는 내용을 거의 제대로 이해하지 못했기 때문에, 이런 요약을 그대로 전달하기에는 꺼려진다. 전산학을 전공한 사람으로서 다른(공학을 전공하지 않은) 사람과 대화하며 엄밀함에 대한 기준의 차이를 깨달을 때마다 깊은 크레바스를 사이에 둔 듯한 감각을 느꼈고, 그것보다 훨씬 넓고 깊은 계곡이 나와 수학자들의 사이에 있음을 알기 때문이다.

따라서 다시 요약한다. '잘 모르겠지만, 거기도 시궁창이래…….'

다만 수학 기초론 분파가 갈래갈래 찢어져서 싸우고 있든, 그들만의 리그에서 현실과 아무 상관없는 문제를 풀고 있든,

옮긴이 후기에는 '일반인의 접근이 가능한 책' 이라는 표현이 있다. 음… 실로 접근은 가능하다. 나도 꾸역꾸역 읽어내기는 했으니 말이다. 하지만 제대로 이해하려면 전공자 수준의 배경지식이 필요하지 않을까 싶다. 읽는 동안 나에게 지속적인 굴욕을 선사했으므로 별 두 개, 하지만 괴델의 불완비성(불완전성) 정리에 대해 이해를 시도할 수 있을 정도로 친절하게 풀어서 설명해 준 책은 처음이었으므로 별 반 개 추가한다.