자동 번역되었어요. 원문보기수학에서의 증명과 진리
Proof and Truth in Mathematics 양상 논리와 수학 기초론
공립 출판
키쿠치 마코토 / 사노 카츠히코 / 쿠라하시 타이지 / 우스바 토시로
자택 보관 도서입니다.
상태가 좋은 깨끗한 도서입니다.
수리 논리학의 기초적인 지식을 가진 독자를 대상으로, 양상 논리의 구문론과 의미론, 그리고 이름은 잘 알려진 괴델의 불완전성 정리, 코엔의 강제법, 타르스키의 진리론이라는 세 가지 주제에 대해 기초부터 최근의 발전까지 소개하고 있습니다.
또한, 크립키의 가능 세계 의미론을 축으로, 증명 가능성 논리, 집합론적 다중 우주론, 진리의 개정 이론이라는 고전적인 수학관, 진리관을 뒤엎는 견해를 구체적으로 제안하는 최신 이론을 소개함으로써, 지금까지 전문가 이외에는 거의 알려지지 않았던 수학 기초론의 새롭고 깊은 매력도 전달해 나갑니다.
#현대수학
#수리논리학
#논리학
#증명론
#불완전성정리
결제 전 확인해 주세요•본 상품은 메루카리 개인 판매자 상품으로, 번개장터의 파트너사가 상품 구매와 배송을 대행해요.
•파트너사가 상품 구매 절차를 진행한 이후에는 취소/환불이 제한될 수 있어요. (단, 판매자가 동의하면 취소/환불 가능해요.)
•통관 진행을 위해 수령인의 개인통관고유부호 입력이 필요해요.