MEPX
Chapter 7 of 10All chapters

Chapter 7 of 10

Computing and mathematics

Formalising thought.

Foundations

Ada Lovelace described general purpose computation on Babbage's design, and Turing defined computability and the limits of algorithms.

  • Turing was prosecuted for homosexuality and pardoned only posthumously.
  • Grace Hopper's compiler work made high level languages practical.

Mathematicians

Gauss, Euler, Noether, Ramanujan and Hilbert shaped the mathematics that later physics and computing depended on, often long before any application existed.