Freeman Dyson — theoretical physicist and mathematician (1923–2020)