Angus Macintyre — British mathematician