수리논리 활용분야가 어떻게 되나요??

[익명(118.219)]

컴퓨터쪽 말곤 없나요??

[Yudwig(kimkurt)]

아무래도 컴퓨터과학 쪽이 가장 많습니다. 또는 직관주의가 전산학에 쓰이기도 하네요. homotopy type theory같은 경우에는 따로 활용분야라고 보긴 어렵겠지만, 뭐 수학기초론으로 넣을 수 있겠고, 필즈상 수상자(누군지는 기억이 안납니다)도 연구하고 있네요.