Sometimes I like to imagine a Two-Headed Monster of mathematical criticism. The first head demands a logically airtight explanation, one with absolutely no gaps in the reasoning or any fuzzy “hand-waving.” This head is a stickler, and is utterly merciless. We all hate its constant nagging, but in our hearts we know it is right. The second head wants to see simple beauty and elegance, to be charmed and delighted, to attain not just verification but a deeper level of understanding. Usually this is the more difficult head to satisfy. Anyone can be logical (and in fact, the validity of a deduction
...more

