같은 논리 규칙을 따르는 두 세계는 크기도 같을까?
모형·1차 논리·가산성의 뜻을 설명한 다음 하향·상향 뢰벤하임–스콜렘 정리의 증명을 따라가며 스콜렘의 역설을 풀어 봅니다.
Skolem's Paradox
그림으로 이해하고, 원문으로 깊이 읽습니다.
관심 주제와 난이도로 필요한 글을 찾아보세요. 개념을 익히는 학습과 원문에 근거한 연구 해설을 구분했습니다.

해외 학술 연구의 7개 분야
모형·1차 논리·가산성의 뜻을 설명한 다음 하향·상향 뢰벤하임–스콜렘 정리의 증명을 따라가며 스콜렘의 역설을 풀어 봅니다.
Skolem's Paradox
튜링의 정지 문제를 실제 프로그램 사례와 범용 기계, 가상 판정기 H, 대각선 구성 D, 두 갈래 모순과 1936~1937년 원논문 역사까지 단계별로 설명합니다.
Turing Machines
10t 한계 교량과 8t 차량의 교육용 사례에서 정의와 판단, 추론의 형식과 전제 재료를 분리합니다. 하데르의 논문을 따라 논증·변증·수사·시·궤변의 목적과 근거가 어떻게 달라지는지 살펴봅니다.
Thaer Ibrahim Khader, Logical Rules and Research Methods in Islamic Theology (ʿIlm al-Kalām) (2025)
주소 100의 값을 바꾸면서 주소 200의 값이 그대로임을 어떻게 증명할까요? 레이놀즈의 분리 논리를 따라 힙을 겹치지 않는 조각으로 나누고, 프레임 규칙으로 건드리지 않은 조각을 보존하는 과정을 연결 목록 뒤집기까지 이어 읽습니다.
John C. Reynolds, Separation Logic: A Logic for Shared Mutable Data Structures (2002)
헨리 로디거와 제프리 카피키의 2006년 실험 논문 초록을 읽습니다. 글을 반복해서 읽는 방법과 자료를 보지 않고 내용을 떠올리는 방법의 결과가, 학습 직후와 며칠 뒤 검사에서 어떻게 달라졌는지 살펴봅니다.
검사로 강화되는 학습: 기억 검사가 장기 기억을 높인다 (Test-enhanced learning: taking memory tests improves long-term retention)
11–15 / 478묶음