Gerd Faltings shocked mathematicians around the world for his 1983 proof of the Mordell conjecture, which brought together ...