수학 카테고리에 대해서

철학이 본전공인지라, 곁가지로 여러 가지를 대충 알 뿐입니다. 제가 일단 여기에 포스트할 글들은 제가 배웠던 집합론을 최대한 쉽게 설명하는 것에 있구요, 아마도 프레게의 논리주의적 기획에서 괴델의 불완전성 정리까지 다루어 볼 생각입니다.

 

분류는 수학이지만, 거의 논리학과 관련하여 포스트를 할 것 같습니다(수리논리학).

 

 아에 처음 배우시는 분들을 위해서 논리학의 기초 용어들부터 다룰 생각입니다. 가령 존재양화사 ∃, 보편양화사 ∀를 가장 먼저 다루지 않을까 싶네요.

 

수학을 공부하는 중에 있기 때문에, 굳이 수리논리가 아니더라도 여러 가지를 배우게 되면 그것들도 함께 다루어 볼 생각입니다.