John Edensor Littlewood

Person

Mathematician who collaborated with Ramanujan and Hardy at Cambridge, mentioned in the context of Ramanujan's development of formal proof writing.

Mentioned in 1 video

Videos Mentioning John Edensor Littlewood

Scaling Past Informal AI - Carina Hong, Axiom Math

Scaling Past Informal AI - Carina Hong, Axiom Math

Latent Space

Mathematician who collaborated with Ramanujan and Hardy at Cambridge, mentioned in the context of Ramanujan's development of formal proof writing.