[일반] SQL이 1차논리와 집합론 기반이던데

[익명(42.82)]

집합론을 공부해볼까

개뻘짓 ㅇㅈ?

[ultraproduct(ultraproduct)]

SQL을 공부하고 싶으면 그걸 직접 공부하고 필요할 때마다 보는 게 나을 듯. 아무리 생각해도 컴공 쪽에서 forcing이니 infinitary combinatorics니 analytic hieralchy니 할 것 같지는 않다

[익명(222.107)]

Theoretical CS 연구자가 되고싶은게 아니라면 1도상관없음

[익명(125.180)]

나는 그런 뻘짓도 적당히 균형을 갖춘다면 괜찮다고 봄. 니가 존나 하고 싶으면 해야지 하기 싫은거 꾸역 꾸역 하다가 흥미 잃으면 그게 더 손해

[익명(118.235)]

보통 그런건 for CS나 programmer 같은게 있지 않음? 집합론 책을 펼 필요는 없을거 같은데