# Tag: #math

What is Monte Carlo integration?

2024-04-24

What is the Metropolis algorithm?

2024-04-18

Proving 1+1=2 and other advanced theorems

Lean is used to define and prove the commutativity of addition on natural numbers. 2023-06-14

Un-biasing a biased coin

Flip a biased coin twice to get an unbiased outcome. Use HT and TH as the outcomes, ignoring HH and TT. 2013-11-16

All content copyright James Fisher.