2020

2016

Part III essay

Jun 15

Finitistic reducibility

May 25

Tennenbaum's theorem

Apr 27

Modular machines

Apr 21

2015

My First Forcing

Nov 28

Lottery odds

Sep 25

Proof by contradiction

Aug 21

2014

Matrix puzzle

Dec 19

Solvability of nonograms

Jul 13

Cayley-Hamilton theorem

Apr 17

Sample topology question

Apr 15

2013

Markov Chain card trick

Nov 12

Topology made simple

Aug 26

Sylow theorems

Jun 26