ScienceBooks

『수학의 확실성』 옮긴이 후기 20세기 수학에서 가장 두드러진 특징을 말하라고 하면 단연 수학 기초론의 출현을 꼽을 수 있다. 수학 기초론 연구자들이 등장하면서 수학의 연역적 측면뿐만 아니라 수학의 본질도 문제로 삼기 시작했다. 기초론 문제가 화두로 등장하게 된 직접적 계기는 집합론에서 발견된 역설 때문이었다.역설의 발견은 수학자들에게는 큰 충격이었다. 19세기 후반부터 일부 수학자들이 수학과 논리학의 관게에 주목하면서 수학의 기초에 관심을 기울이고 있었다. 한편에서는 논리학 위에 수학을 건설할 수 있다고 주장하는 사람들이 있었고 다른 한편에서는 논리학 원리를 수학에 적용하는 데에 회의적 시각을 보내는 이들이 있었다. 수학의 기초를 둘러싼 19세기 말의 논란은 큰 주목을 끌지 못했으나 20세기 초에 역설..