괴델이나 스콜렘 정리 같은거 학부에서 가르치는 대학 있음?

[익명(121.134)]

ㅇㅇ?

[PaulSohn(paulsohn)]

보통 그정도가 학부레벨에서 다루는 수준 아닌가요. 뢰벤하임스콜렘은 모르겠고 괴델정도는 저희학교 교양에서도 다뤘습니다. 교양이라 그런지 몇개 보조정리는 증명 스킵했지만.

[별없는(123.109)]

연대 수학과와 고대철학과(2-3년주기로 한번씩)에서 다룹니다. 전자는 엔더튼 수리논리책으로 후자는 불로스 계산가능성과 논리(영어원서)책으로 수업합니다.

[익명(182.228)]

비추수 왜이럼?