날짜별로 보기

April 2025

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

March 2025

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

February 2025

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

January 2025

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

December 2024

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

November 2024

• 정렬의 삼분성과 서수의 완전성
• 유리수와 실수의 집합론적 정의
• 칸토어-슈뢰더-베른슈타인 정리
• ZFC 공리의 목록
• 벨의 우주선 사고실험: 수동적 로렌츠 수축과 능동적 로렌츠 수축