Blog

I‘m maintain a Blog in Chinese, below are part of what I wrote. I am also the editor of Tsinghua Logic Blog.

Category Theory

• 范畴论哲学 I — Meaning As Use  
  Philosophy of CAT I – Meaning as Use
• 范畴论哲学 II—等价、不变性与高阶范畴  
  Philosophy of CAT II – Equivalence, Invariance, and Higher Categories
• 范畴逻辑 I—逻辑与数学结构的对应  
  Categorical Logic I – Correspondence between Logical Theories and Mathematical Structures
• 范畴逻辑 II—语形与语义的对偶  
  Categorical Logic II – Duality between Syntax and Semantics
• 迈向数学的统一 
  Towards Unification of Mathematics (Charles Ehresmann’s paper)
• 何为相等
  What is equality

Computability Theory

• 计算系统的结构 I—对可计算性概念的反思  
  Structures of Computation I – On the Concept of Computability
• 计算系统的结构 II—计算模型的数学框架  
  Structures of Computation II – Computability Models
• 计算系统的结构 III—计算模型之间的模拟  
  Structures of Computation III – Comparison of Computability Models

Logic

• 一阶算数理论中的自指性  
  Self-Reference in First-Order Arithmetic
• Banach-Tarski 悖论：数学家的魔术  
  Banach-Tarski Paradox: One Begets Two