michael spivak, unconventional mathematician, Princeton PhD under John Milnor 1964