[일반] 수리논리학 연구하고 싶으면 이론 컴퓨터 과학을 하셈

[익명(211.36)]

솔직히 대부분의 수학자들은 논리학에 ㅈ도 관심없음

집합론, 모델론은 그나마 타 수학 분야랑 연관이 있는데

재귀 이론, 증명 이론은 ㄹㅇ 그들만의 리그라서

오히려 이론 컴퓨터 과학자들이 더 많이 연구함

reverse math라는 분야도 있는데 이건 진짜 뭘 연구하는 분야인지도 모르겟음

이딴거 연구하고 싶은 놈들은 그냥 철학과를 가야