물론 수학 지식이 도움이 되겠지만, 수리 논리학과 집합론을 배우고 복수 전공을 할지 결정하셔도 좋다고 생각해요. 그런데 괴델의 불완전성 정리를 가르치는 국내 대학이 드물지 않나요?
거의 없죠 ㅎㅎ 감사합니다. - dc App
모델이론 전공하려면 대수하고 위상을 알고 있어야 한다고 주워듣긴 했어요. 반면 증명이론쪽 전공이신 논리학자 정인교 교수님은 학부는 철학과셨던 걸로 알고 있는데...
물론 수학 지식이 도움이 되겠지만, 수리 논리학과 집합론을 배우고 복수 전공을 할지 결정하셔도 좋다고 생각해요. 그런데 괴델의 불완전성 정리를 가르치는 국내 대학이 드물지 않나요?
거의 없죠 ㅎㅎ 감사합니다. - dc App
모델이론 전공하려면 대수하고 위상을 알고 있어야 한다고 주워듣긴 했어요. 반면 증명이론쪽 전공이신 논리학자 정인교 교수님은 학부는 철학과셨던 걸로 알고 있는데...