더북(TheBook)

  9 Bhattacharya, p112 참고

 

10 Christian Goldbach, 프로이센 수학자(1690~1764)

 

11 Pierre de Fermat, 프랑스 수학자(1607~1665)

 

12 프린키피아 마테마티카와 관련된 체계에서 형식적으로 판정 불가능한 명제들에 대한 정리입니다.

 

13 역주 괴델의 제1 불완전성 정리입니다.

 

14 역주 수학 체계가 모순 없이 일관된다는 것을 그 체계 안에서 증명하는 것입니다.

 

15 역주 괴델의 제2 불완전성 정리입니다.

 

16 베른하르트 루스트(Bernhard Rust)입니다.

 

17 역주 헝가리식 발음입니다.

 

18 너이먼 믹셔(Neumann Miksa, 1867~1929)

 

19 다소 불편하게 느낄 수도 있습니다.