명제논리의 메타 정리를 공부하고..
일차술어논리의 추리규칙들이나
용어들을 배우고 나니
일차술어논리의 완전성과 건전성에 대한 메타 정리도
공부하고 싶다는 생각이 들었습니다.
혹시 국내 서적 중에 일차술어논리의 메타 정리를 자세히 설명해주는 서적이 있나 궁금해서 질문 올립니다!
명제논리의 메타 정리를 공부하고..
일차술어논리의 추리규칙들이나
용어들을 배우고 나니
일차술어논리의 완전성과 건전성에 대한 메타 정리도
공부하고 싶다는 생각이 들었습니다.
혹시 국내 서적 중에 일차술어논리의 메타 정리를 자세히 설명해주는 서적이 있나 궁금해서 질문 올립니다!
이 글 보고 ‘있나?‘ 싶어서 찾아보았는데 놀랍게도 이런 역서가 있었네요:
https://product.kyobobook.co.kr/detail/S000001972175
제가 열심히 찾아봤어야 했는데..
대신 찾아주셨네요.
바로 찜 해놨습니다.
항상 감사합니다!
위 링크의 영어책 pdf의 Appendix 부분만 잘라서 AI한테 번역을 시키시는 방법도 좋습니다.
한국어로 된 수리 논리학 책이 정말 적다 보니, 표지를 보자마자 '아, 저거구나.' 하고 생각했어요.
같은 출판사에서 How To Prove It도 번역해 놓았네요. 세상에 대체 뭐하는 출판사지…
그 유명한 Computability and Logic이 번역되어 있기는 합니다. 절판되었다는 게 문제지....
세월의 흔적이 느껴지는 책이군요..
중고 서점을 뒤지고 있습니다.
없으면 학교 도서관에서라도 빌려야겠네요..ㅠ
글은 주제와는 무관하지만, 책을 구하실 다른 방법이 없다면 국립중앙도서관 원문복사 서비스 협약기관 또는 국회도서관 원문복사서비스에 대해 찾아보셔도 좋을 것 같습니다. 글 자체를 구하는 가장 좋은 방법인지는 모르겠지만 대출보다는 편하게 (필기도 하면서) 읽을 수 있는 방법들이라 말씀드렸습니다. 글을 구하는 방법을 선택하실 때 도움 되시길 바랍니다.
계산가능성과 논리 번역본 초심자가 읽기에 어렵습니다. 증명도 사소한 부분은 생략한 것들도 많아서, 가령 1-1이 가능하다는데, 왜 가능한지 함수가 제시 안되어있고 넘어간다는 등의 그런 식의 것이 많아서 비추천합니다. 논리학 같은 교과서는 비교적 문장구조가 간편하고 뚜렷해서 쉬운 영어책 지피티 돌리면서 보는걸 추천드려요.