Mathematics

Entries about mathematics: I like learning about graphs and logic

• What is a good Brier score? - Looking at implied probabilities from Manifold Markets
• Pricing options and simulating economies in parallel using co-arrays in Fortran
• Modelling branch mispredicts
• 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