Best Of Math
Here’s what I think are some of the best math-related things I’ve written:
Type theory, focusing on the theory behind proof assistants, with an emphasis on examples. Prerequisites are some familiarity with logic.
Machine learning, for people more used to reading math textbooks than writing code. Prerequisites are some knowledge of probability theory, and dealing with matrices and vectors.
Engineering is finding the answer to a problem without solving it. People aren’t trying to engineer enough, so I wrote this to change that.
Here’s how to use a four-function calculator to check that 123,456,789,011 is prime in fifteen minutes. Discusses the Fermat test and the Miller-Rabin test.
Discusses some techniques in computational geometry through the proofs of some lesser-known theorems.
Talks about the Euler characteristic, Kuratowski’s and Wagner’s theorems, Fáry’s theorem, and the crossing number inequality. No prerequisites, but knowledge of graph theory is useful.