The world problem: on the computability of the topology of 4-manifolds

James R. van Meter

Topological classification of the 4-manifolds bridges computation theory and physics. A proof of the undecidability of the homeomorphy problem for 4-manifolds is outlined here in a…