2019-10-28

There once was a magnificent mathematical horse. You could teach it arithmetic, which it learned with no difficulty, and algebra was a breeze. It could even prove theorems in Euclidean geometry....