The beauty (?) of mathematical proofs -- Functional and non-functional beauty – Philosophy Blog