100 books like Book of Proof

In the ongoing debates over artificial general intelligence (AGI), Judea Pearl is taking a firm stand: He argues that an intelligent robot should be able to reason about causality and that the currently fashionable approaches to AI miss this aspect.

A celebrated AI researcher and a Turing Prize laureate, Pearl has developed an amazingly original approach to this problem. This book is a high-end popular exposition of his approach.

But it’s so much more than that. It’s a history of statistics and its conflicted attitude to causality. It’s a story of heroes (or villains?) in this history. And it’s a scientific autobiography that describes Pearl’s journey. Pearl likes picking fights with the AI community, statisticians, or economists. He’s boastful, provocative, extremely intelligent, and knows how to tell a story.

As I write these lines, artificial intelligence (AI) is getting a lot of attention.

This is largely due to ChatGpt recently bursting onto the scene. But even before ChatGpt began making its mark, AI was often in the news. Some have expressed worry that it will take our jobs, others that it will reinforce systemic oppression by making racially or otherwise discriminatory decisions, and some have even voiced concerns that one day a superintelligent AI might pose an existential threat to humanity.

In the midst of all this, what might get lost is what AI is, what it's capable of doing, and what its limitations are. Wenger's book is intended to address all of these questions. It manages to do so in a way which goes into some of the mathematics of AI systems and yet remain accessible to a lay audience.

After laying out the technical aspects of AI,… show more.

Many quant geeks are familiar with statistics. The dominant school of statistical thought is called "Frequentist" or "Classical."

It focuses on either 1) testing a given hypothesis by determining how likely observed data are on the assumption that the hypothesis is true or 2) constructing intervals for which a certain percentage of them contain the actual value of whatever is being estimated.

A lesser known, although this seems to be changing, school of thought is Bayesian statistics. It focuses on using prior information about some phenomenon in order to revise or update one's beliefs about it.

If you're into stats but don't know much about Bayesian statistics, Donovan and Mickey's book is a great place to start. It's somewhat mathematical but covers the technical aspects much more accessibly that any other book I've seen on the topic. 

Jun Otsuka, a philosopher who also has training in statistics, zooms in on their philosophical foundations.

His book discusses the metaphysical, epistemological, and semantic assumptions on which Classical statistics, Bayesian statistics, predictive/classification AI models, and causal inference are based.

For those interested in these disciplines but who're also sensitive to the philosophical issues they raise, Otsuka's book is simply amazing. Run out and get a copy as soon as possible.   

This book provides a systematic account of how to understand and structure mathematical proofs. Its approach is almost entirely syntactic, which is the opposite of how I naturally think – I tend to generate arguments based on examples, diagrams, and conceptual understanding. But that difference, for me, is precisely what makes this book so valuable. Solow gives a no-nonsense, practical, almost algorithmic approach to interpreting logical language and to tackling the associated reasoning. His book thereby provides the best answer I know of to the “How do I start?” problem so often encountered when students begin constructing proofs.  

The Four Color Problem was one of the most baffling questions in mathematics for over 120 years. First posed in 1852, it asks whether every map can be colored with four colors, or fewer, so that regions adjacent along a boundary have different colors. The answer (yes) was finally obtained in 1976, with massive computer assistance. This method was initially controversial, but the result is now firmly established. This highly readable account, with full-color illustrations, opens up the history and the personalities who tackled this topological enigma, as well as making the mathematics comprehensible. The path to the final solution is littered with blunders and mistakes, but also illustrates how mathematicians can join forces across the generations to chip away at a problem until it cracks wide open. 

Gödel (1906-1978) is, like Newton, an unpromising subject for biography. He was antisocial and mentally unstable. His obsessive fear of being poisoned led eventually to him starving himself to death. 

Rebecca Goldstein is a professor of philosophy with a deep interest in logic and the foundations of mathematical truth – the applecart that Gödel overturned in 1931 with his tremendous paper on the incompleteness of axiomatic systems. She is also an experienced novelist. This combination makes her just the right person to construct a gripping story out of Gödel’s weirdness and world-shaking importance.

This is a sequel to Alex Bellos's bestseller Alex's Adventures in Numberland, but more focused on applications of mathematics to the real world, especially through physics. Many of these were known to me, particularly when they involved calculus, but I greatly enjoyed Alex's distinctive and novel way of putting across sophisticated ideas, in part by interspersing them with personal interviews with mathematicians of all kinds.  

That Steven Strogatz, Cornell Professor and longtime New York Times columnist, is unsurpassed as an expositor of mathematics, goes without saying. No one can make the abstract and technical appear simple and intuitive like Strogatz. In Infinite Powers he takes on the Calculus -- the central pillar of modern mathematics that is also the bane of many a high-school student. It is an immensely powerful field, and at its core is a concept that is both counter-intuitive and paradoxical: the infinite.

The roots of the calculus, we learn, go back to the ancient Greeks, whose notions of the infinite were put to powerful mathematical use by Archimedes. Strogatz continues with Galielo’s dynamics and Kepler’s laws of planetary motion, before reaching the turning point: The discovery of the Calculus by Newton and Leibniz. This leads straight to a discussion of differential equations, which are responsible for so much of what makes… show more.

This book has haunted me for years. For what is it, exactly, that gives it such enduring popularity? After all, it was first published in 1936, yet is still in print today. In his autobiography, Hogben remarks on the importance of eye-catching illustrations but speculates that its success may instead be because the book contains – most unusually for a 'popular' work – exercises and answers, making it more suitable for self-teaching. Whatever the real answer, his book must surely have something to teach anyone – like myself – who aspires to bring mainstream mathematics to life for the general public.