The commenters pretty much say that he isn't, but now I'm wondering-- if you go into reasonably pure math, what areas or specific problems would be most likely to contribute the most towards saving lives?
He hasn't yet, but if you believe that MIRI will eventually save humans from UFAI, and given that some of the basic work they do relies on his results, one can make a case for Godel inadvertently helping to save lives.
A high school student with an interest in math asks whether he's obligated on utilitarian grounds to become a doctor.
The commenters pretty much say that he isn't, but now I'm wondering-- if you go into reasonably pure math, what areas or specific problems would be most likely to contribute the most towards saving lives?