[일반] 집합론 처음 볼 때 수학기초론에 관심 있었는데

[익명(122.37)]

책에서 처음부터 공리를 박아 놓은 게 마음에 안 들었는데

어떤 의문을 품었는데 지금은 기억도 안 난다

공리를 받아들이면 따라갈 수 있는데 

그냥 받아들이기

싫었는데 내가 이상한 거였을까

이런 거에 관한 책 추천 좀

- dc official App

[ㅁㅁ(111.239)]

논리학 좀더 공부해서 ZFC 안쓰는 수학기초론 내지는 reverse mathematics 같은것도 공부해보시면 재밌을듯. 불완전성정리 즈음에 나옵니다

[익명(122.37)]

그런 거는 어떤 책에 나와요 추천해주세요 - dc App

[보렐보렐(dstisfun)]

그냥 책이 모티베이션이 부족했던게 아닐까

[보렐보렐(dstisfun)]

근데 경험상 axiomatic set theory의 역사적 맥락을 자아알 소개하는 책은 없던것 같다

[익명(122.37)]

그렇군 수학기초론 공부하고 싶다 - dc App

[익명(223.62)]

공리라는게 보통 수학하는데 그렇게 유의미한게 아님. 특히 집합론 공리계는 흔히 다루어지는 수학의 대상들을 다 집합이라는 개념에 포함하면서도 모순이 생기지 않도록 하려고 끼워맞춘거고

[익명(122.37)]

그러면 그냥 신경 안써도 돼?왜 그렇게 공리가 나왔는지 이런 거에 대해서? - dc App

[익명(223.62)]

정확히는 그 공리들을 왜 필요로 해서 포함시켰는지를 생각해야 될듯

[익명(122.37)]

응 맞아 그 말이야 - dc App