여긴 또 뭐하는 곳이죠

[익명파티(whatismyid)]

model theory 전공하시는 분들 갤인가요

[TonyMontana(thecoqproofassistant)]

[1+1=2(lsc4719)]

취미로 하는데.. model theory 전공이라는게 한국에 있어요? - dc App

[익명파티(whatismyid)]

글쎄요.. 이 쪽은 아는게 없어서..

[TonyMontana(thecoqproofassistant)]

연세대 김병한 교수님께서 모형 이론 연구하신다고 알고 있어요

[ㅁㅁ(106.154)]

모형론이 허들이 좀 있어서 그런가 모형론 하는 사람은 의외로 없는거같고.. syntactics가 조금 있는 거 같네요. 아님 말고.

[익명(121.158)]

연대 김병한 교수님이 연대에 오신 지 약 15년 되었고 그 분 지도 아래에서 박사과정을 마친 분이 2020년 기준으로도 5명이 있는데 의외로 없다뇨. 철학적인 분야를 제외하고 수학과 쪽의 수리논리 자체로 따진다면 모델론이 가장 많을 겁니다. 그 밖에는 대개 철학과에서 철학적인 주제를 전공하거나, 혹은 컴퓨터과학 쪽에서 이것저것 하는 것 정도입니다. 물론 그마저도 수가 극히 적지만요.