수리논리학에 대해서 질문드립니다. ( 내공100)
-
게시물 수정 , 삭제는 로그인 필요
대학교에서
집합론과 현대논리학을 배웠는데요
집합론 . you-feng lin 지음
현대논리학 . 여훈근 지음.
을 책으로 공부했습니다.
보통 수학과에서는 수리논리학을 배우는것으로 알고 있는데
제가 배운 책 현대논리학은 수리논리학과 어떤 관계가 있는것인가요?
책의 목차는 다음과 같습니다..
1. 명사논리
명사와 정언명제
직접추리
간접추리(삼단논법)
2. 명제논리
명제논리 1
명제논리 2
3. 한량논리
한량논리 1
한량논리 2
4. 논리와 언어 그리고 귀납추리
논리와 언어
오류론
귀납처리
보통은 수리논리학을 배우면
괴델의 불완전성 정리와 무모순성에 대해서 책에 나와있고 그것에 대해 배우게 되는지요?
제가 배운 책(현대논리학)에는 괴델의 불완전성 정리가 없습니다.
집합론,현대논리학을 배웠으면 수학기초론?을 또 배워야 알수 있는 부분인가요?
보통 어떤 순서로 불완정성 정리를 공부하게 되는지 순서를 알고 싶습니다.
또한 책도 추천해주시면 감사하겠습니다.
명사와 정언명제
직접추리
간접추리(삼단논법)
2. 명제논리
명제논리 1
명제논리 2
3. 한량논리
한량논리 1
한량논리 2
4. 논리와 언어 그리고 귀납추리
논리와 언어
오류론
귀납처리