셀 수 있는 모형이 ‘셀 수 없는 집합’을 담을 수 있을까?
스콜렘의 역설은 외부에서 셀 수 있는 모형과 모형 내부의 셀 수 없음이 충돌하지 않는 이유를 보여 줍니다.
Skolem’s Paradox
게시 2026-09-13 · 약 9분논리학 학습 글 읽기 →
연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.

관심 주제로 찾아보기
스콜렘의 역설은 외부에서 셀 수 있는 모형과 모형 내부의 셀 수 없음이 충돌하지 않는 이유를 보여 줍니다.
Skolem’s Paradox
결정 당시 정보가 같아도 나중 결과가 품질 평가를 바꾸는가?
Outcomes Affect Evaluations of Decision Quality: Replication and Extensions of Baron and Hershey’s (1988) Outcome Bias Experiment 1
같은 분포도 설명과 반복 경험에서 선택이 달라지는가?
Of Black Swans and Tossed Coins: Is the Description-Experience Gap in Risky Choice Limited to Rare Events?
기술논리의 개념·역할·개체 구분과 TBox·ABox 구조를 통해 분류, 포함, 만족 가능성 검사가 어떻게 지식 표현의 논리적 뼈대가 되는지 설명합니다.
Basic Description Logics
호모토피 유형이론은 등식의 증명을 경로처럼 다루며 동일성과 구조 보존의 관계를 새롭게 조직합니다.
Homotopy Type Theory: Univalent Foundations of Mathematics
71–75 / 173편