통합검색

메아리가 0.2초 뒤 돌아오면 벽은 얼마나 멀리 있을까?

소리가 벽까지 갔다가 돌아오는 경로를 따라가며 전체 이동 거리와 벽까지의 거리를 구별합니다.

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

모형·1차 논리·가산성의 뜻을 설명한 다음 하향·상향 뢰벤하임–스콜렘 정리의 증명을 따라가며 스콜렘의 역설을 풀어 봅니다.

Skolem's Paradox

같은 결론을 말해도, 전제의 종류가 다르면 같은 논증일까요?

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)

수정할 수 없는 입력란도 폼 데이터에 들어갈까?

같은 값이 보이는 텍스트 입력란을 비활성화·읽기 전용으로 바꾸고, 브라우저가 만든 폼 데이터에 값이 포함되는지 확인합니다.