날짜별로 보기

List by dates

June 2025

• 프란츠 카프카, 「여덟 권의 청색 팔절판 노트」 중 제1권
• 슬라보예 지젝, ｢소프트 파시즘, 인공지능, 그리고 수치심의 몰락｣
• 왜 연속함수의 위상적 정의는 “반대”인가?
• Why is Continuity in Topology defined 'Backwards'?
• 논리적 외계인은 가능한가? 데카르트, 칸트, 프레게, 그리고 《논리철학논고》

May 2025

• 콰인, ⟪경험주의의 두 독단⟫
• Quine, Two Dogmas of Empiricism
• 스톤 공간과 콤팩트성 정리
• 양화사 제거
• 포화된 구조와 실수체의 완전성
• η 집합
• 로빈슨, 크레이그, 베스의 정리
• 정칙 기수와 특이 기수, 그리고 도달 불가능 기수
• 준동형 사상, 임베딩, 초등적 임베딩

April 2025

• 연속체 가설과 동치인 색칠 문제
• 기수의 정의에 관한 노트
• 무한 죄수 모자 문제
• 워시-타르스키 보존 정리
• 완전성 정리와 뢰벤하임-스콜렘 정리
• 자이페르트-판 캄펀 정리에 대한 노트
• 범주론적 관점에서의 곱 위상·상자 위상과 직곱·직합의 차이
• 양상 논리

March 2025

• 요네다 보조정리
• 양상 문맥 내 존재 양화에 관하여 — 콰인과 프레게
• 참에 대한 이론이란 무엇인가?
• 시제 논리
• 텐서곱에 관한 노트

February 2025

• 일반 공변성에 대한 노트
• 오일러-라그랑주 방정식과 라그랑주 역학
• 르베그 가측 집합과 보렐 가측 집합
• 카라테오도리 정리를 이용한 측도의 구성
• 대수와 측도의 정의
• 램지 수와 무한 램지 정리
• 어드조인트, 정규 변환, 그리고 스펙트럼 정리
• 어드조인트에 대한 세 가지 접근
• 정신은 기계로 환원될 수 있는가: 괴델의 조건문과 펜로즈-루카스 논증
• 산술 위계
• 곱군과 위수에 관한 노트: 페르마 소수 정리와 윌슨의 정리

January 2025

• 베타 함수를 통한 페아노 산술에서의 괴델 수 정의
• 워시의 정리
• 프레셰 필터와 비표준 자연수
• 지시에 대하여 — 한정 기술구
• 지시에 대하여 — 특성 모델과 의도주의
• 지시에 대하여 — 기술주의와 인과 이론

December 2024

• 대각선 논법 없이 실수의 비가산성 증명하기
• 칸토어-벤딕슨 정리
• 어드조인트에 대한 직관적 이해
• 굴림에 대한 두 가지 삽화
• Two Illustrations on Rolling
• V = L 공리의 무모순성
• 초한귀납과 초한재귀
• 콤팩트성과 그물
• 베르 범주 정리

November 2024

• 정렬의 삼분성과 서수의 완전성
• Trichotomy and Completeness of Ordinals
• 유리수와 실수의 집합론적 정의
• Set-theoretic Definitions of Rational and Real Numbers
• 칸토어-슈뢰더-베른슈타인 정리
• Cantor–Schröder–Bernstein Theorem
• ZFC 공리의 목록
• List of ZFC Axioms
• 벨의 우주선 사고실험: 수동적 로렌츠 수축과 능동적 로렌츠 수축
• Bell's Spaceship Paradox: Passive and Active Lorentz Contraction