  In 1980, van Dommelen and Shen provided a numerical simulation that predicts
the spontaneous generation of a singularity in the Prandtl boundary layer
equations from a smooth initial datum, for a nontrivial Euler background. In
this paper we provide a proof of this numerical conjecture by rigorously
establishing the finite time blowup of the boundary layer thickness.
