Mathematical Logic 분야에서 젤 유명한 입문서가

[1+1=2(lsc4719)]

뭔가요? 공지사항에 여러권이 있지만 한권만 뽑는다면요?

- dc official App

[익명(221.162)]

사람들보니 벤슨메이츠 보던데 잘모르겠음 ㅎㅎ

[익명(223.38)]

enderton이요 수학과 정석 교과서

[1+1=2(lsc4719)]

감사합니다 - dc App

[익명(112.149)]

Enderton은 철학과 34학년이나 학부수학과 12학년 학생들한테 좋음 일단 이걸로 기본을 잡으면 되는데 그 다음엔 shoenfield나 monk 보면 됨. enderton보다 더 엄밀하고 다루는것도 많음

[익명(112.149)]

monk는 처음부터 ZF(C)에서 논리를 전개해서 모델론 보고 싶으면 이거 보면 되고(아니면 chang꺼보셈) shoenfiled는 PRA나 PA와 같은 finitistic theory를 meta theory로 놓고 논리를 전개함

[익명(112.149)]

ZFC에서 완전성 정리 증명할때도 enderton보다 shoenfiled가 더 깔끔함 똑같이 henkin 방법대로 하는데 그래도 shoenfiled의 논의가 더 체계적이었음

[익명(112.149)]

Interpretation이나 뒷부분에 independence proof 다루는것도 enderton보다 훨씬 좋았음

[익명(112.149)]

또 enderton은 tautology들을 axiom으로 정하는반면 shoenfield는 post의 tautology thm을 주어진 공리로 증명함 차이점은 이정도.

[익명(112.149)]

monk는 튜링머신 설명할때도 모티베이션도 잘 안주고 또 너무 엄밀하게 전개해서 읽는데 어려움. Monk 읽으려면 대수는 알고 있어야됨

[1+1=2(lsc4719)]

ZFC 배워보고싶어요!! ㅋㅋ 저는 Ian Chiswell, Wilfrid Hodges의 Mathematical Logic 보고있습니다. 이제 First-Order Logic 배우고 있어요 ㅋㅋ

[1+1=2(lsc4719)]

Computation Theory도 배워보고싶어서, Michael Sipser의 Introduction to Computation Theory도 사놓았습니다 ㅎ

[1+1=2(lsc4719)]

제 background(?)는 CS 학사 입니다

[1+1=2(lsc4719)]

음 혹시 Shoenfield, Monk 책 제목좀 알 수 있을까요?

[익명(112.149)]

둘다 mathematical logic.

[1+1=2(lsc4719)]

감솨합니당

[익명(112.151)]

나는 박사과정인데 아직도 엔더튼 존나어렵다 연차는 늘어가는데 아는게없다 학부때 엔더튼 봤을때 너무어려워서 때려치웠다

[1+1=2(lsc4719)]

어떤거 박사하시눈고에요? - dc App

[익명(112.151)]

ㅈㅅ 그건비밀임

[익명(112.151)]

엔더튼 책 서문에 보면 junior-senior level 의 교과서로 의도되었다는 말이 있긴함