논리의 기초와 역사

같은 논리 규칙을 따르는 두 세계는 크기도 같을까?

모형·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)

배 위의 시계는 어떻게 동서 위치를 알려 주었을까?

배에 실은 시계가 기준 항구의 시간을 지키고 있다면, 배에서 관측한 현지 시간과 비교하여 동서 위치를 구할 수 있습니다. 해리슨의 H4와 해상 시험의 기록을 살펴보고, 시간 차를 각도로 바꾸는 계산과 시계 오차가 결과에 미치는 영향을 직접 확인합니다.