…Two weeks ago I quoted Jasmin Blanchette, a Dutch computer scientist who complained about “proofs [that] look more like LSD trips than coherent mathematical arguments.” I thank Alex Best for informing me that the expression goes back to the very interestingTeaching Statementthat Scott Aaronson...