That Cantor in fact came up with a proof makes you wonder again about how impersonal the works of mathematics are. If the theorem is out there, is its proof out there too? Could anyone have discovered it, is it part of our common heritage? Or is the proof and what it establishes now a part of our thinking the way the Mona Lisa is—but needn’t have been: necessary after the fact?
