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.