Mathematician turned into many other things valuing higher order abstraction that gives foundational insight.