On the homeomorphism problem for 4-manifolds

Cameron McA Gordon

We show that there is no algorithm to decide whether or not a given 4-manifold is homeomorphic to the connected sum of 12 copies of S^2 \times S^2.