Der Logiker Kurt Gödel erschütterte die Mathematik in ihren Grundfesten: Er fand heraus, dass es Dinge gibt, die nicht bewiesen werden können. Die Kollegen waren nicht begeistert. Von Aeneas Rooch.