Among the papers he spotted this week is The world problem: on the computability of the topology of 4-manifolds by James van Meter. For some reason, I was thinking about this topic a couple of days ago. Markov proved that every possible finitely-presented group occurred as the fundamental group of a 4-manifold. Post proved that it is undecidable whether two finitely-presented groups are isomorphic. Ergo, deciding when two 4-manifolds are homeomorphic is undecidable. Van Meter sketches both the Markov and Post results.