Remarkably, the answer to this question is no: there is no algorithm that allows us to determine whether or not two closed 4-dimensional manifolds are diffeomorphic. Essentially, there are "too many 4-manifolds." I will give an introduction to Kirby calculus, a powerful set of techniques for describing 4-manifolds, and use it to sketch a proof of this fact.
The talk should be accessible to everybody.