(For his work on topology of four-manifolds, especially for showing that there is a differential structure on euclidian four-space which is different from the usual structure.)
(For proving the Mordell conjecture, which states that any non-singular projective curve of genus g > 1 defined over a number field K contains only finitely many K-rational points.)
