  The mapping class group $M(X)$ of a smooth manifold $X$ is the group of
smooth isotopy classes of orientation preserving diffeomorphisms of $X$. We
prove a number of results about the mapping class groups of compact,
simply-connected, smooth $4$-manifolds. We prove that $M(X)$ is non-finitely
generated for $X = 2n \mathbb{CP}^2 # 10n \overline{\mathbb{CP}^2}$, where $n
\ge 3$ is odd. Let $\Gamma(X)$ denote the group of automorphisms of the
intersection lattice of $X$ that can be realised by diffeomorphisms. Then
$M(X)$ is an extension of $\Gamma(X)$ by $T(X)$, the Torelli group of isotopy
classes of diffeomorphisms that act trivially in cohomology. We prove that this
extension is split for connected sums of $\mathbb{CP}^2$, but is not split for
$2\mathbb{CP}^2 # n \overline{\mathbb{CP}^2}$, where $n \ge 11$. We prove that
the Nielsen realisation problem fails for certain finite subgroups of $M( p
\mathbb{CP}^2 # q \overline{\mathbb{CP}^2} )$ whenever $p+q \ge 4$. Lastly we
study the extension $M_1(X) \to M(X)$, where $M_1(X)$ is the group of isotopy
classes of diffeomorphisms of $X$ which fix a neighbourhood of a point. When $X
= K3$ or $K3 # (S^2 \times S^2)$ we prove that $M_1(X) \to M(X)$ is a
non-trivial extension of $M(X)$ by $\mathbb{Z}_2$. Moreover, we completely
determine the extension class of $M_1(K3) \to M(K3)$.
