Mathematics & Formal Sciences

Goals

To develop rigorous analytical and computational thinking skills through the study of formal systems, mathematical structures, and algorithmic processes. To understand how abstract reasoning applies to problem-solving across disciplines and to distinguish formal scientific methods from empirical approaches.

Why these books

These three books approach mathematics and formal reasoning from complementary angles — what mathematics fundamentally is, how it can be made joyful and accessible, and how probabilistic thinking applies to the messiest problems in the real world.

Timothy Gowers's "Mathematics: A Very Short Introduction" is the ideal starting point for anyone who wants to understand what mathematics actually is, as opposed to what school may have led them to believe it is. Gowers, a Fields Medal winner, is concerned less with teaching techniques than with conveying the nature of mathematical thinking itself — abstraction, proof, the relationship between mathematical objects and physical reality, and the question of whether mathematics is discovered or invented. In fewer than 150 pages, he manages to be both rigorous and deeply readable. For students of formal sciences, this book provides an intellectual foundation: a clear-eyed account of what distinguishes mathematical reasoning from every other kind, and why that distinction matters.

Steven Strogatz's "The Joy of X" takes a different approach, moving through the landscape of mathematics topic by topic — from basic arithmetic through calculus, statistics, and beyond — illuminating each area with wit, real-world examples, and genuine enthusiasm. Strogatz is one of the finest mathematical communicators alive, and his gift is making you feel the pleasure of a mathematical idea clicking into place. Where Gowers asks what mathematics is, Strogatz asks what it feels like to do mathematics. Readers who have found math intimidating or dull will likely discover here that their quarrel was never with the subject itself but with how it was previously presented to them. For those already comfortable with formal thinking, the book offers the rarer gift of seeing familiar territory made newly beautiful.

Nate Silver's "The Signal and the Noise" moves from pure mathematics into applied probabilistic reasoning, examining why predictions so often fail and what separates forecasters who get things right from those who don't. Drawing on fields as varied as weather forecasting, baseball, economics, poker, and political polling, Silver builds a sustained argument for Bayesian thinking — the practice of updating beliefs incrementally as new evidence arrives, rather than seeking false certainty. For humanities students, this book is a particularly valuable bridge: it shows that the formal thinking developed in mathematics and statistics is not merely academic, but is the most reliable tool available for navigating an uncertain world. It also has the considerable virtue of being a genuinely gripping read.

Together, these three books trace a coherent arc. Gowers establishes the philosophical and structural foundations of mathematical thought. Strogatz makes the breadth of mathematical terrain feel inviting and alive. And Silver shows what happens when formal reasoning collides with real-world complexity and the irreducible noise of human affairs. A reader who works through all three will come away not only more mathematically literate, but with a fundamentally altered relationship to how they reason, estimate, and make decisions under uncertainty — which is to say, how they think about nearly everything.