증명 이야기The Early Development of Set TheoryStanford Encyclopedia of Philosophy
한 집합의 원소보다 그 부분집합이 언제나 더 많을까?
세 동아리의 부분집합 여덟 개부터 시작해 칸토어의 멱집합 정리를 함수 f, 대각선 집합 D, 두 갈래 모순으로 엄밀하게 증명합니다.
The Early Development of Set Theory
게시 2026-10-16해외 논리학 연구 해설 읽기 →
한곳에서 찾는 논리 자료
통합검색
연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
통합검색521건
검색 결과 제목
증명 이야기Gödel's Incompleteness TheoremsStanford Encyclopedia of Philosophy
수학에는 참이지만 증명할 수 없는 사실이 있을까?
괴델의 제1·제2불완전성 정리를 번호 부호화, 대각화, 무모순성과 오메가 무모순성, 로서의 개선, 1차 논리 완전성 정리와의 차이까지 단계별로 설명합니다.
Gödel's Incompleteness Theorems
게시 2026-10-16해외 논리학 연구 해설 읽기 →
증명 이야기Skolem's ParadoxStanford Encyclopedia of Philosophy
같은 논리 규칙을 따르는 두 세계는 크기도 같을까?
모형·1차 논리·가산성의 뜻을 설명한 다음 하향·상향 뢰벤하임–스콜렘 정리의 증명을 따라가며 스콜렘의 역설을 풀어 봅니다.
Skolem's Paradox
게시 2026-10-16해외 논리학 연구 해설 읽기 →
증명 이야기Turing MachinesStanford Encyclopedia of Philosophy
모든 프로그램이 언젠가 멈출지 알아낼 수 있을까?
튜링의 정지 문제를 실제 프로그램 사례와 범용 기계, 가상 판정기 H, 대각선 구성 D, 두 갈래 모순과 1936~1937년 원논문 역사까지 단계별로 설명합니다.
Turing Machines
게시 2026-10-16해외 논리학 연구 해설 읽기 →
논문 대담Thaer Ibrahim Khader, Logical Rules and Research Methods in Islamic Theology (ʿIlm al-Kalām) (2025)Journal of the College of Islamic Sciences, no. 81, 64–87
같은 결론을 말해도, 전제의 종류가 다르면 같은 논증일까요?
10t 한계 교량과 8t 차량의 교육용 사례에서 정의와 판단, 추론의 형식과 전제 재료를 분리합니다. 하데르의 논문을 따라 논증·변증·수사·시·궤변의 목적과 근거가 어떻게 달라지는지 살펴봅니다.
Thaer Ibrahim Khader, Logical Rules and Research Methods in Islamic Theology (ʿIlm al-Kalām) (2025)
게시 2026-10-16해외 논리학 연구 해설 읽기 →
11–15 / 521편