On the homeomorphism problem for 4-manifolds

Abstract

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.