The man who ruined mathematics