Harvey Friedman's research on the foundations of mathematics | lit.salon