수리논리학 책을 읽고 나서... (1) 최근에 수리논리학 책을 두 권 읽었다. (괴델의 증명, 불완전성: 쿠르트 괴델의 증명과 역설, 둘 다 승산출판사) 수리논리학에서 괴델의 이름은 빠질 수가 없다. 여태 읽었던 책 중 손꼽을 정도로 안 읽히는 책이었지만, (철학책인지 수학책인지…) 전체 내용을 파악하는 데에는 큰 어려움이 없었다. 그리고 숫자와 수식과 그래프만 좋아하던 나에겐 굉장히 신선한 분야이기도 했다. 독후감 겸 해서 좀 썰을 풀어보고자 한다. ==== 기하학은 고대 이집트부터 이미 있던 학문이다. 하지만 그 당시 기하학은 체계화된 학문이라기보단, 지식의 파편들만이 존재했다. 이걸 체계화한 인물이 유클리드(B.C. 365? ~ B.C. 275?)다. 유클리드의 대표 업적 중 하나는 기하학을 연역적 추론이 가능한 학문으로 만든 것이다. .. 더보기 이전 1 ··· 4 5 6 7 8 9 10 ··· 70 다음