증명 이야기Gerhard Gentzen original 1935 publicationMathematical archive
중간 정리 없이도 같은 결론을 증명할 수 있을까?
시퀀트 계산법에서 컷 규칙을 사용하는 증명과 컷을 제거한 증명을 비교하면서 부분식 성질과 무모순성의 범위를 살펴봅니다.
Gerhard Gentzen original 1935 publication
게시 2026-10-17해외 논리학 연구 해설 읽기 →
연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.

관심 주제로 찾아보기
시퀀트 계산법에서 컷 규칙을 사용하는 증명과 컷을 제거한 증명을 비교하면서 부분식 성질과 무모순성의 범위를 살펴봅니다.
Gerhard Gentzen original 1935 publication
괴델의 불완전성 정리와 튜링의 계산불가능성 증명을 함께 살펴보면서 형식적 증명, 계산 절차, 참의 범위를 구분합니다.
Gödel’s Incompleteness Theorems
라이프니츠의 충분이유율을 일상적 설명의 사례에서 시작해 우연·필연·존재의 이유에 관한 논증과 반론까지 검토합니다.
The Monadology
두 게임이 최종 결과 p·q·r을 똑같이 내놓아도, 한 선수가 상대에게 허용하는 결과 집합은 다를 수 있습니다. 기본 능력의 정의로 두 나무를 끝까지 비교합니다.
Johan van Benthem · Nick Bezhanishvili · Sebastian Enqvist, A New Game Equivalence, its Logic and Algebra (2019)
스위치를 켜지 않은 현재 상태에서도 '켰다면'의 진위를 평가할 수 있을까요? 실제 상태와 가장 적절하게 선택된 가정 세계의 결과를 구별합니다.
Robert C. Stalnaker, A Theory of Conditionals (1968)
6–10 / 2419편