그림으로 이해하고, 원문으로 깊이 읽습니다.
관심 주제와 난이도로 필요한 글을 찾아보세요. 개념을 익히는 학습과 원문에 근거한 연구 해설을 구분했습니다.
논문을 따라 읽는 연재
세계 각지의 논문을 가상 대담과 생각그림으로 읽습니다. 기호 앞에서 멈춰 묻고, 직접 실험하며 원문으로 돌아갑니다.
42 · 네덜란드편요한 판 벤템·니크 베자니슈빌리·세바스티안 엥크비스트 · A New Game Equivalence, its Logic and Algebra (2019)
문답 15개생각그림 18개직접 실험 3개
증명과 인물을 따라 읽는 연재
사람들이 오래 붙들어 온 큰 질문을 실제 논리식과 인물의 이야기로 따라갑니다. 식의 흐름과 그 식이 뜻하는 바를 함께 읽습니다.
해외 학술 연구의 7개 분야
명제논리의 유한한 검사와 1차 논리의 일반 결정 문제를 구별하고, 알론조 처치의 1936년 연구 및 현대 환원 증명의 조건을 살펴봅니다.
Alonzo Church (1936), An Unsolvable Problem of Elementary Number Theory
데카르트의 방법적 회의와 코기토를 꿈·기만자 가설, 생각과 존재의 관계, 현대적 반론까지 연결해 검토합니다.
Discourse on the Method
칸토어의 대각선 논법과 튜링의 정지 문제를 비교하며, 셀 수 없음과 계산불가능성 사이의 공통 구조와 차이를 설명합니다.
Computability and Complexity
시퀀트 계산법에서 컷 규칙을 사용하는 증명과 컷을 제거한 증명을 비교하면서 부분식 성질과 무모순성의 범위를 살펴봅니다.
Gerhard Gentzen original 1935 publication
괴델의 불완전성 정리와 튜링의 계산불가능성 증명을 함께 살펴보면서 형식적 증명, 계산 절차, 참의 범위를 구분합니다.
Gödel’s Incompleteness Theorems
1–5 / 478묶음
