In the December issue of the Bulletin of the ASL, Bob Soare's article "Computability Theory and Differential Geometry" discusses some of the work of the topologists Nabutovsky and Weinberger to which he contributed. Has anyone on FOM studied the article? I'd love to post comments on it. Martin