How to Prove It: A Structured Approach


Daniel J. Velleman - 1994
    The book begins with the basic concepts of logic and set theory, to familiarize students with the language of mathematics and how it is interpreted. These concepts are used as the basis for a step-by-step breakdown of the most important techniques used in constructing proofs. To help students construct their own proofs, this new edition contains over 200 new exercises, selected solutions, and an introduction to Proof Designer software. No background beyond standard high school mathematics is assumed. Previous Edition Hb (1994) 0-521-44116-1 Previous Edition Pb (1994) 0-521-44663-5

Perfect Rigor: A Genius and the Mathematical Breakthrough of the Century


Masha Gessen - 2009
    A prize of one million dollars was offered to anyone who could unravel it, but Perelman declined the winnings, and in doing so inspired journalist Masha Gessen to tell his story. Drawing on interviews with Perelman’s teachers, classmates, coaches, teammates, and colleagues in Russia and the United States—and informed by her own background as a math whiz raised in Russia—Gessen uncovered a mind of unrivaled computational power, one that enabled Perelman to pursue mathematical concepts to their logical (sometimes distant) end. But she also discovered that this very strength turned out to be Perelman's undoing and the reason for his withdrawal, first from the world of mathematics and then, increasingly, from the world in general.

The Annotated Turing: A Guided Tour Through Alan Turing's Historic Paper on Computability and the Turing Machine


Charles Petzold - 2008
    Turing Mathematician Alan Turing invented an imaginary computer known as the Turing Machine; in an age before computers, he explored the concept of what it meant to be "computable," creating the field of computability theory in the process, a foundation of present-day computer programming.The book expands Turing's original 36-page paper with additional background chapters and extensive annotations; the author elaborates on and clarifies many of Turing's statements, making the original difficult-to-read document accessible to present day programmers, computer science majors, math geeks, and others.Interwoven into the narrative are the highlights of Turing's own life: his years at Cambridge and Princeton, his secret work in cryptanalysis during World War II, his involvement in seminal computer projects, his speculations about artificial intelligence, his arrest and prosecution for the crime of "gross indecency," and his early death by apparent suicide at the age of 41.

The Great Equations: Breakthroughs in Science from Pythagoras to Heisenberg


Robert P. Crease - 2008
    Crease tells the stories behind ten of the greatest equations in human history. Was Nobel laureate Richard Feynman really joking when he called Maxwell's electromagnetic equations the most significant event of the nineteenth century? How did Newton's law of gravitation influence young revolutionaries? Why has Euler's formula been called "God's equation," and why did a mysterious ecoterrorist make it his calling card? What role do betrayal, insanity, and suicide play in the second law of thermodynamics?The Great Equations tells the stories of how these equations were discovered, revealing the personal struggles of their ingenious originators. From "1 + 1 = 2" to Heisenberg's uncertainty principle, Crease locates these equations in the panoramic sweep of Western history, showing how they are as integral to their time and place of creation as are great works of art.

A Concise History of Mathematics


Dirk Jan Struik - 1948
    Students, researchers, historians, specialists — in short, everyone with an interest in mathematics — will find it engrossing and stimulating.Beginning with the ancient Near East, the author traces the ideas and techniques developed in Egypt, Babylonia, China, and Arabia, looking into such manuscripts as the Egyptian Papyrus Rhind, the Ten Classics of China, and the Siddhantas of India. He considers Greek and Roman developments from their beginnings in Ionian rationalism to the fall of Constantinople; covers medieval European ideas and Renaissance trends; analyzes 17th- and 18th-century contributions; and offers an illuminating exposition of 19th century concepts. Every important figure in mathematical history is dealt with — Euclid, Archimedes, Diophantus, Omar Khayyam, Boethius, Fermat, Pascal, Newton, Leibniz, Fourier, Gauss, Riemann, Cantor, and many others.For this latest edition, Dr. Struik has both revised and updated the existing text, and also added a new chapter on the mathematics of the first half of the 20th century. Concise coverage is given to set theory, the influence of relativity and quantum theory, tensor calculus, the Lebesgue integral, the calculus of variations, and other important ideas and concepts. The book concludes with the beginnings of the computer era and the seminal work of von Neumann, Turing, Wiener, and others."The author's ability as a first-class historian as well as an able mathematician has enabled him to produce a work which is unquestionably one of the best." — Nature Magazine.

The Quark and the Jaguar: Adventures in the Simple and the Complex


Murray Gell-Mann - 1994
    Nobel laureate Murray Gell-Mann offers a uniquely personal and unifying vision of the relationship between the fundamental laws of physics and the complexity and diversity of the natural world.

The Unreasonable Effectiveness of Mathematics in the Natural Sciences


Eugene Paul Wigner - 1959
    In the paper, Wigner observed that the mathematical structure of a physical theory often points the way to further advances in that theory and even to empirical predictions.

Pale Blue Dot: A Vision of the Human Future in Space


Carl Sagan - 1994
    This stirring book reveals how scientific discovery has altered our perception of who we are and where we stand, and challenges us to weigh what we will do with that knowledge. Photos, many in color.

The Evolution of Cooperation


Robert Axelrod - 1984
    Widely praised and much-discussed, this classic book explores how cooperation can emerge in a world of self-seeking egoists—whether superpowers, businesses, or individuals—when there is no central authority to police their actions. The problem of cooperation is central to many different fields. Robert Axelrod recounts the famous computer tournaments in which the “cooperative” program Tit for Tat recorded its stunning victories, explains its application to a broad spectrum of subjects, and suggests how readers can both apply cooperative principles to their own lives and teach cooperative principles to others.

Complexity: The Emerging Science at the Edge of Order and Chaos


M. Mitchell Waldrop - 1992
    The science of complexity studies how single elements, such as a species or a stock, spontaneously organize into complicated structures like ecosystems and economies; stars become galaxies, and snowflakes avalanches almost as if these systems were obeying a hidden yearning for order. Drawing from diverse fields, scientific luminaries such as Nobel Laureates Murray Gell-Mann and Kenneth Arrow are studying complexity at a think tank called The Santa Fe Institute. The revolutionary new discoveries researchers have made there could change the face of every science from biology to cosmology to economics. M. Mitchell Waldrop's groundbreaking bestseller takes readers into the hearts and minds of these scientists to tell the story behind this scientific revolution as it unfolds.

Symmetry and the Monster: One of the Greatest Quests of Mathematics


Mark Ronan - 2006
    Now, in an exciting, fast-paced historical narrative ranging across two centuries, Mark Ronan takes us on an exhilarating tour of this final mathematical quest. Ronan describes how the quest to understand symmetry really began with the tragic young genius Evariste Galois, who died at the age of 20 in a duel. Galois, who spent the night before he died frantically scribbling his unpublished discoveries, used symmetry to understand algebraic equations, and he discovered that there were building blocks or atoms of symmetry. Most of these building blocks fit into a table, rather like the periodic table of elements, but mathematicians have found 26 exceptions. The biggest of these was dubbed the Monster--a giant snowflake in 196,884 dimensions. Ronan, who personally knows the individuals now working on this problem, reveals how the Monster was only dimly seen at first. As more and more mathematicians became involved, the Monster became clearer, and it was found to be not monstrous but a beautiful form that pointed out deep connections between symmetry, string theory, and the very fabric and form of the universe. This story of discovery involves extraordinary characters, and Mark Ronan brings these people to life, vividly recreating the growing excitement of what became the biggest joint project ever in the field of mathematics. Vibrantly written, Symmetry and the Monster is a must-read for all fans of popular science--and especially readers of such books as Fermat's Last Theorem.

Mathematics and Its History


John Stillwell - 1997
    Even when dealing with standard material, Stillwell manages to dramatize it and to make it worth rethinking. In short, his book is a splendid addition to the genre of works that build royal roads to mathematical culture for the many." (Mathematical Intelligencer)This second edition includes new chapters on Chinese and Indian number theory, on hypercomplex numbers, and on algebraic number theory. Many more exercises have been added, as well as commentary to the exercises explaining how they relate to the preceding section, and how they foreshadow later topics.

Asimov on Numbers


Isaac Asimov - 1978
    From man's first act of counting to higher mathematics, from the smallest living creature to the dazzling reaches of outer space, Asimov is a master at "explaining complex material better than any other living person." (The New York Times) You'll learn: HOW to make a trillion seem small; WHY imaginary numbers are real; THE real size of the universe - in photons; WHY the zero isn't "good for nothing;" AND many other marvelous discoveries, in ASIMOV ON NUMBERS.

Understanding Thermodynamics


Hendrick C. Van Ness - 1983
    Language is informal, examples are vivid and lively, and the perspectivie is fresh. Based on lectures delivered to engineering students, this work will also be valued by scientists, engineers, technicians, businessmen, anyone facing energy challenges of the future.

Genius At Play: The Curious Mind of John Horton Conway


Siobhan Roberts - 2015
    He discovered the Conway groups in mathematical symmetry, and invented the aptly named surreal numbers, as well as the cult classic Game of Life--more than a cool fad, Life demonstrates how simplicity generates complexity and the game provides an analogy for all mathematics and the entire universe. Moving to Princeton in 1987, as a mathemagician he deployed cards, ropes, dice, coat hangers, and even the odd Slinky as props to extend his winning imagination and share his mathy obsessions with signature contagion. He is a jet-setting ambassador-at-large for the beauties of all things mathematical.Genius At Play is an intimate investigation into the mind of an endearing genius, laying bare Conway's personal and professional idiosyncrasies. The intimacy comes courtesy of the man himself. He generously granted Roberts full access, though not without the occasional grudge and grumble: "Oh hell," he'd say. "You're not going to put that in the book. Are you?!?