Computer Science

Anything broadly related to computer science

• Every infinite c.e. set has an infinite computable subset
• Intuitionistic Excluded Middle, Glivenko’s theorem and the Gödel-Gentzen translation
• The Type-Theoretic Axiom of Choice
• My favourite proof
• The Fibonacci sequence and primitive recursion