그림으로 이해하고, 원문으로 깊이 읽습니다.
관심 주제와 난이도로 필요한 글을 찾아보세요. 개념을 익히는 학습과 원문에 근거한 연구 해설을 구분했습니다.
해외 학술 연구의 7개 분야
아르데시르와 모즈타헤디의 공개 논문을 따라, 헤이팅 산술에서 원자식을 Σ₁ 문장으로 제한했을 때 증명 가능성의 규칙을 어떤 양상논리로 붙잡고 판정 절차까지 얻는지 읽습니다. 15개의 문답, 16개의 생각그림과 세 가지 실험을 담았습니다.
Mohammad Ardeshir · S. Mojtaba Mojtahedi, The Σ₁-Provability Logic of HA (2017)
선물이 A와 B 두 우체국 중 한 곳에 있습니다. 먼저 어디로 갈지, 확인한 뒤 어디로 갈지를 정하려면 현재 아는 사실과 모르는 사실을 함께 기록해야 합니다. 토마스 볼란데르의 연구는 정보가 바뀔 때 행동 계획도 어떻게 달라지는지 논리로 다룹니다.
Thomas Bolander, A Gentle Introduction to Epistemic Planning: The DEL Approach (2017)
열차 안의 사람과 승강장의 사람은 같은 만남을 서로 다른 위치와 시각으로 기록할 수 있습니다. 헝가리 연구진은 이런 기록을 논리식으로 적고, 빛의 움직임에 관한 가정에서 어떤 결론이 나오는지 따졌습니다. 가속하는 관찰자까지 포함할 때 가정을 어떻게 바꾸는지도 살펴봅니다.
Hajnal Andréka · Judit X. Madarász · István Németi · Gergely Székely, A Logic Road from Special Relativity to General Relativity (2012)
출석 여부를 확인하는 장치가 한 학생에게 1과 0을 함께 내놓았다고 합시다. 두 결과를 모두 기록하는 것과 답 하나를 정하는 것은 다른 문제입니다. 웨버와 카노호르헤의 논문은 모순을 허용하는 논리에서 계산과 함수의 조건을 검토합니다.
Zach Weber · Fernando Cano-Jorge, On Strong and Weak Logics for Paraconsistent Computability (2025)
1차 논리의 의미상 타당성과 형식적 증명을 비교하고 괴델의 완전성 정리, 헨킨의 모형 구성, 콤팩트성, 불완전성과의 차이를 설명합니다.
Kurt Gödel
16–20 / 478묶음
