날짜별로 보기

List by dates

August 2025

• 초필터를 이용한 티호노프 정리의 증명
• 돼지고기와 연어: 윤리적 삶은 사치품인가?

July 2025

• 사적 언어는 가능한가?
• 불 대수 구조의 아이디얼과 필터
• 스톤-체흐 콤팩트화
• Stone-Čech Compactification
• 우리손 보조정리와 우리손 거리화 정리
• The Urysohn Lemma and Urysohn Metrisation Theorem
• 크립키-비트겐슈타인 역설
• The Kripke-Wittgenstein Paradox

June 2025

• 프란츠 카프카, 「여덟 권의 청색 팔절판 노트」 중 제1권
• Franz Kafka, The Blue Octavo Notebooks, Volume 1
• 이탈리안 게임
• 슬라보예 지젝, ｢소프트 파시즘, 인공지능, 그리고 수치심의 몰락｣
• Slavoj Žižek, "Soft Fascism, Artificial Intelligence, and Shamelessness"
• 왜 연속함수의 위상적 정의는 “반대”인가?
• Why is Continuity in Topology defined 'Backwards'?
• 논리적 외계인은 가능한가? 데카르트, 칸트, 프레게, 그리고 《논리철학논고》
• Are Logically Alien Beings Possible? Descartes, Kant, Frege, and the Tractus

May 2025

• 콰인, ⟪경험주의의 두 독단⟫
• Quine, Two Dogmas of Empiricism
• 스톤 공간과 콤팩트성 정리
• Stone Spaces and the Compactness Theorem
• 양화사 제거
• Quantifier Elimination
• 포화된 구조와 실수체의 완전성
• Saturated Structures and the Completeness of Real Closed Fields
• η 집합
• η Sets
• 로빈슨, 크레이그, 베스의 정리
• Robinson, Craig, and Beth's Theorems
• 정칙 기수와 특이 기수, 그리고 도달 불가능 기수
• Regular Cardinals, Singular Cardinals, and Inaccessible Cardinals
• 준동형 사상, 임베딩, 초등적 임베딩
• Homomorphisms, Embeddings, and Elementary Embeddings

April 2025

• 연속체 가설과 동치인 색칠 문제
• A Colouring Problem Equivalent to the Continuum Hypothesis
• 기수의 정의에 관한 노트
• Notes on the Definition of Cardinality
• 무한 죄수 모자 문제
• Infinite Prisoner Hat Problem
• 워시-타르스키 보존 정리
• The Łoś-Tarski Preservation Theorem
• 완전성 정리와 뢰벤하임-스콜렘 정리
• Completeness Theorem and Löwenheim-Skolem Theorem
• 자이페르트-판 캄펀 정리에 대한 노트
• Notes on the Seifert-van Kampen Theorem
• 범주론적 관점에서의 곱 위상·상자 위상과 직곱·직합의 차이
• The Difference Between Product and Box Topologies, and Direct Product and Direct Sum from a Categorical Perspective
• 양상 논리
• Modal Logic

March 2025

• 요네다 보조정리
• Yoneda Lemma
• 양상 문맥 내 존재 양화에 관하여 — 콰인과 프레게
• On Existential Quantification in Modal Contexts — Quine and Frege
• 참에 대한 이론이란 무엇인가?
• What is a Theory of Truth?
• 시제 논리
• Temporal Logic
• 텐서곱에 관한 노트
• Notes on Tensor Products

February 2025

• 일반 공변성에 대한 노트
• Notes on General Covariance
• 오일러-라그랑주 방정식과 라그랑주 역학
• The Euler-Lagrange Equation and Lagrangian Mechanics
• 르베그 가측 집합과 보렐 가측 집합
• Lebesgue Measurable Sets and Borel Measurable Sets
• 카라테오도리 정리를 이용한 측도의 구성
• Construction of Measures via Carathéodory's Theorem
• 대수와 측도의 정의
• Definitions of Algebra and Measure
• 램지 수와 무한 램지 정리
• Ramsey Numbers and the Infinite Ramsey Theorem
• 어드조인트, 정규 변환, 그리고 스펙트럼 정리
• Adjoints, Normal Transformations, and the Spectral Theorem
• 어드조인트에 대한 세 가지 접근
• Three Approaches to Adjoints
• 정신은 기계로 환원될 수 있는가: 괴델의 조건문과 펜로즈-루카스 논증
• Can the Mind Be Reduced to a Machine: Gödel's Disjunction and the Penrose-Lucas Argument
• 산술 위계
• Arithmetic Hierarchy
• 곱군과 위수에 관한 노트: 페르마 소수 정리와 윌슨의 정리
• Notes on Multiplicative Groups and Order: Fermat's Theorem on Primes and Wilson's Theorem

January 2025

• 베타 함수를 통한 페아노 산술에서의 괴델 수 정의
• Defining Gödel Numbers in Peano Arithmetic via the Beta Function
• 워시의 정리
• Łoś's Theorem
• 프레셰 필터와 비표준 자연수
• Fréchet Filters and Nonstandard Natural Numbers
• 지시에 대하여 — 한정 기술구
• On Reference — Definite Descriptions
• 지시에 대하여 — 특성 모델과 의도주의
• On Reference — Character Model and Intentionalism
• 지시에 대하여 — 기술주의와 인과 이론
• On Reference — Descriptivism and Causal Theory

December 2024

• 대각선 논법 없이 실수의 비가산성 증명하기
• Proving the Uncountability of Real Numbers Without the Diagonal Argument
• 칸토어-벤딕슨 정리와 폴란드 공간
• The Cantor-Bendixson Theorem and Polish Space
• 어드조인트에 대한 직관적 이해
• An Intuitive Understanding of Adjoints
• 굴림에 대한 두 가지 삽화
• Two Illustrations on Rolling
• V = L 공리의 무모순성
• Consistency of the V = L Axiom
• 초한귀납과 초한재귀
• Transfinite Induction and Transfinite Recursion
• 콤팩트성과 그물
• Compactness and Nets
• 베르 범주 정리
• The Baire Category Theorem

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