통합검색

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

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

지층의 위아래와 갈라진 흔적으로 사건의 순서를 알 수 있을까?

아래에서부터 A·B·C층이 쌓인 절벽에 단층이 보입니다. 무엇이 먼저 생겼을까요? 스테노의 지층 연구를 출발점으로, 층의 위아래와 절단 관계를 시간의 순서로 바꾸어 봅니다. 관측하지 못한 경계는 빈칸으로 남기고, 사건의 순서와 걸린 시간을 구별합니다.

둘씩 비슷하면 세 대상이 모두 비슷할까?

길이가 20cm, 22cm, 24cm인 가상의 막대 A·B·C가 있습니다. 길이 차이가 2cm 이하인 두 막대를 ‘비슷하다’고 정하면 A와 B, B와 C는 각각 비슷합니다. 두 판단을 이어 A와 C도 비슷하다고 할 수 있는지 살펴봅니다.

Σ₁ 문장에 한정하면, ‘증명 가능함’의 논리를 판정할 수 있을까요?

아르데시르와 모즈타헤디의 공개 논문을 따라, 헤이팅 산술에서 원자식을 Σ₁ 문장으로 제한했을 때 증명 가능성의 규칙을 어떤 양상논리로 붙잡고 판정 절차까지 얻는지 읽습니다. 15개의 문답, 16개의 생각그림과 세 가지 실험을 담았습니다.

Mohammad Ardeshir · S. Mojtaba Mojtahedi, The Σ₁-Provability Logic of HA (2017)

AI가 HTTP Content-Length를 글자 수로 적어도 될까?

영문·한글·이모지 본문을 바꾸어 글자 수와 UTF-8 바이트 수를 비교하고, Content-Length에 들어갈 값을 검산합니다.