musical proofs

Another curious piece with a pronounced syncopated effect is the Square Root Theorem.

In deeper proofs, a kind of tension sometimes builds up, with occasional partial relief but growing overall, until finally many subproofs come together. For example, you may want to sample the Axiom of Choice Equivalent, where a crescendo slowly builds up starting at around 2:20 minutes, reaching a dramatic climax at 3:11 minutes and then suddenly cascading down to the main theme.

Mathematical Proofs Set to Music (via grow a brain)