연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
명제논리의 유한한 검사와 1차 논리의 일반 결정 문제를 구별하고, 알론조 처치의 1936년 연구 및 현대 환원 증명의 조건을 살펴봅니다.
Alonzo Church (1936), An Unsolvable Problem of Elementary Number Theory
괴델의 불완전성 정리와 튜링의 계산불가능성 증명을 함께 살펴보면서 형식적 증명, 계산 절차, 참의 범위를 구분합니다.
Gödel’s Incompleteness Theorems
두 게임이 최종 결과 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)
몫을 0 쪽으로 버리는 나머지 계산과 일곱 칸을 순환하는 위치 계산을 나누어 실행합니다.
1–5 / 1372편
