Mathematics

Entries about mathematics: I like learning about graphs and logic

• 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