Patrick Stevens | Mathematical_summary

2023

The tiny proof that primes 1 mod 4 are sums of two squares

Sep 28

2020

The uncountability of the reals (a note from Hacker News)

Aug 2

2016

Jun 15

Finitistic reducibility

May 25

Tennenbaum's theorem

Apr 27

Modular machines

Apr 21

Independence of the Axiom of Choice (for programmers)

Apr 13

Another Monty Hall explanation

Apr 8

Friedberg-Muchnik theorem

Feb 5

Multiplicative determinant

Jan 1

2015

My First Forcing

Nov 28

Sep 25

Proof by contradiction

Aug 21

2014

Dec 19

Sum-of-two-squares theorem

Sep 9

Solvability of nonograms

Jul 13

Proof that symmetric matrices are diagonalisable

May 26

Discovering a proof of Sylvester's Law of Inertia

May 3

Sequentially compact iff compact

Apr 26

Cayley-Hamilton theorem

Apr 17

Sample topology question

Apr 15

Discovering a proof of Heine-Borel

Apr 4

How to discover the Contraction Mapping Theorem

Mar 30

2013

Three explanations of the Monty Hall Problem

Dec 22

Markov Chain card trick

Nov 12

How to do Analysis questions

Oct 24

Slightly silly Sylow pseudo-sonnets

Aug 31

Topology made simple

Aug 26

The Orbit/Stabiliser Theorem

Jul 22

Jun 26