증명 이야기Kurt GödelStanford Encyclopedia of Philosophy
우리가 옳다고 판단한 논증을 기호만으로도 증명할 수 있을까?
1차 논리의 의미상 타당성과 형식적 증명을 비교하고 괴델의 완전성 정리, 헨킨의 모형 구성, 콤팩트성, 불완전성과의 차이를 설명합니다.
Kurt Gödel
게시 2026-10-13해외 논리학 연구 해설 읽기 →
한곳에서 찾는 논리 자료
통합검색
연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
검색 결과77건
검색 결과 제목
논문 대담Kurt Gödel, Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I (1931)Monatshefte für Mathematik und Physik, 38, 173–198
체계가 자기 힘만으로 모든 산술 명제를 결정할 수 있을까요?
쿠르트 괴델의 「Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I」(1931)를 따라, 식과 증명을 자연수로 부호화하고 대각화를 통해 체계 안에서 결정되지 않는 문장을 구성하는 과정을 읽습니다. 14개의 문답, 15개의 생각그림과 세 가지 실험을 담았습니다.
Kurt Gödel, Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I (1931)
게시 2026-10-08해외 논리학 연구 해설 읽기 →
논문 대담Gaisi Takeuti, On a Generalized Logic Calculus (1953)Japanese Journal of Mathematics, 23, 39–96
증명 속 중간정리를 모두 걷어내도, 같은 결론에 도달할 수 있을까요?
다케우치 가이시의 《On a Generalized Logic Calculus》(1953)를 따라, 시퀀트와 컷에서 근본 추측, 증명된 보존 정리와 후속 쟁점까지 읽습니다. 14개의 문답, 15개의 생각그림과 세 가지 실험을 담았습니다.
Gaisi Takeuti, On a Generalized Logic Calculus (1953)
게시 2026-10-05해외 논리학 연구 해설 읽기 →
새로운 예외가 들어오면 결론을 거둘 수 있는 논리가 필요할까?
Reiter의 기본 논리를 바탕으로, 정보가 부족할 때 내린 잠정 결론을 예외 정보가 들어오면 철회하는 비단조 추론을 살펴봅니다.
A Logic for Default Reasoning
게시 2026-09-25 · 약 11분해외 논리학 연구 해설 읽기 →
확률을 솔직하게 말하게 하는 채점 규칙이 있을까?
적절 점수규칙이 왜 예측자의 진짜 믿음을 보고하도록 유도하는지 살피고, Brier 손실과 로그 손실을 직접 계산해 봅니다.
Strictly Proper Scoring Rules, Prediction, and Estimation
게시 2026-09-23 · 약 10분해외 논리학 연구 해설 읽기 →
6–10 / 77편