18세기부터 20세기 초까지의 수학사를 역사 발생적으로 분석하면서 수학적 발견이 어떤 논리에 따라 이루어지는가를 논한 책.
책 머리에 = 5편집자 서문 = 11감사의 말 = 15저자 서문 = 17제1장 증명과 반박 = 25 1. 문제와 추측 = 25 2. 한 가지 증명 = 27 3. 국소적 반례이지만 전면적 반례가 아닌 반례에 의한 증명의 비판 = 31 4. 전면적 반례에 의한 추측의 비판 = 35 5. 전면적 반례이지만 국소적 반례가 아닌 반례에 의한 증명 – 분석의 비판. 엄밀성의 문제 = 75 6. 국소적 반례이지만 전면적 반례가 아닌 반례에 의한 증명의 비판으로의 복귀. 내용의 문제 = 96 7. 내용의 문제에 대한 재고 = 108 8. 개념 형성 = 132 9. 비판은 어떻게 수학적 진을 논리적 진으로 전환시킬 수 있는가 = 153제2장 형식적 증명 = 163 편집자의말 = 163 1. 벡터 대수의 [완벽하게 알려진] 용어를 사용한 추측의 번역. 번역의 문제 = 164 2. 추측에 대한 또 다른 증명 = 178 3. 증명의 최종성에 대한 몇 가지 의심. 번역 절차와 정의에 대한 본질주의자의 접근 대 유명론자의 접근 = 181부록Ⅰ 증명과 반박 방법에 대한 또 다른 사례 연구 = 193 1. 코시의 [연속성의 원리]에 대한 옹호 = 193 2. 사이델의 증명과 증명 – 생성된 평등 수렴의 개념 = 199 3. 아벨의 예외 배제법 = 201 4. 증명-분석 방법의 발견 과정에서의 장애 = 205부록Ⅱ 연역주의자의 접근법 대 발견적 접근법 = 215 1. 연역주의자의 접근법 = 215 2. 발견적 접근법. 증명 – 생성 개념 = 218역자 해제 = 233참고문헌 = 245찾아보기 인명 = 261 주제 = 266