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
• In a complete graph where edges are assigned one of two colours, there is a colour such that any two vertices are connected by a path of this colour with length at most three.