The decline of violence may be the most significant and least-appreciated development in the history of our species.
The study of computational complexity is a journey through the landscape of mathematical logic and algorithmic theory.