Gödel's Proof


Ernest Nagel - 1958
    Gödel received public recognition of his work in 1951 when he was awarded the first Albert Einstein Award for achievement in the natural sciences--perhaps the highest award of its kind in the United States. The award committee described his work in mathematical logic as "one of the greatest contributions to the sciences in recent times."However, few mathematicians of the time were equipped to understand the young scholar's complex proof. Ernest Nagel and James Newman provide a readable and accessible explanation to both scholars and non-specialists of the main ideas and broad implications of Gödel's discovery. It offers every educated person with a taste for logic and philosophy the chance to understand a previously difficult and inaccessible subject.New York University Press is proud to publish this special edition of one of its bestselling books. With a new introduction by Douglas R. Hofstadter, this book will appeal students, scholars, and professionals in the fields of mathematics, computer science, logic and philosophy, and science.

Algorithmic Puzzles


Anany V. Levitin - 2011
    This logic extends far beyond the realm of computer science and into the wide and entertaining world of puzzles. In Algorithmic Puzzles, Anany and Maria Levitin use many classic brainteasers as well as newer examples from job interviews with major corporations to show readers how to apply analytical thinking to solve puzzles requiring well-defined procedures.The book's unique collection of puzzles is supplemented with carefully developed tutorials on algorithm design strategies and analysis techniques intended to walk the reader step-by-step through the various approaches to algorithmic problem solving. Mastery of these strategies--exhaustive search, backtracking, and divide-and-conquer, among others--will aid the reader in solving not only the puzzles contained in this book, but also others encountered in interviews, puzzle collections, and throughout everyday life. Each of the 150 puzzles contains hints and solutions, along with commentary onthe puzzle's origins and solution methods. The only book of its kind, Algorithmic Puzzles houses puzzles for all skill levels. Readers with only middle school mathematics will develop their algorithmic problem-solving skills through puzzles at the elementary level, while seasoned puzzle solvers will enjoy the challenge of thinking throughmore difficult puzzles.

How to Think Like a Mathematician


Kevin Houston - 2009
    Working through the book you will develop an arsenal of techniques to help you unlock the meaning of definitions, theorems and proofs, solve problems, and write mathematics effectively. All the major methods of proof - direct method, cases, induction, contradiction and contrapositive - are featured. Concrete examples are used throughout, and you'll get plenty of practice on topics common to many courses such as divisors, Euclidean algorithms, modular arithmetic, equivalence relations, and injectivity and surjectivity of functions. The material has been tested by real students over many years so all the essentials are covered. With over 300 exercises to help you test your progress, you'll soon learn how to think like a mathematician.

The Equation That Couldn't Be Solved: How Mathematical Genius Discovered the Language of Symmetry


Mario Livio - 2005
    Yet the mathematical language of symmetry-known as group theory-did not emerge from the study of symmetry at all, but from an equation that couldn't be solved. For thousands of years mathematicians solved progressively more difficult algebraic equations, until they encountered the quintic equation, which resisted solution for three centuries. Working independently, two great prodigies ultimately proved that the quintic cannot be solved by a simple formula. These geniuses, a Norwegian named Niels Henrik Abel and a romantic Frenchman named Évariste Galois, both died tragically young. Their incredible labor, however, produced the origins of group theory. The first extensive, popular account of the mathematics of symmetry and order, The Equation That Couldn't Be Solved is told not through abstract formulas but in a beautifully written and dramatic account of the lives and work of some of the greatest and most intriguing mathematicians in history.

Calculus On Manifolds: A Modern Approach To Classical Theorems Of Advanced Calculus


Michael Spivak - 1965
    The approach taken here uses elementary versions of modern methods found in sophisticated mathematics. The formal prerequisites include only a term of linear algebra, a nodding acquaintance with the notation of set theory, and a respectable first-year calculus course (one which at least mentions the least upper bound (sup) and greatest lower bound (inf) of a set of real numbers). Beyond this a certain (perhaps latent) rapport with abstract mathematics will be found almost essential.

Elliptic Tales: Curves, Counting, and Number Theory


Avner Ash - 2012
    The Clay Mathematics Institute is offering a prize of $1 million to anyone who can discover a general solution to the problem. In this book, Avner Ash and Robert Gross guide readers through the mathematics they need to understand this captivating problem.The key to the conjecture lies in elliptic curves, which are cubic equations in two variables. These equations may appear simple, yet they arise from some very deep--and often very mystifying--mathematical ideas. Using only basic algebra and calculus while presenting numerous eye-opening examples, Ash and Gross make these ideas accessible to general readers, and in the process venture to the very frontiers of modern mathematics. Along the way, they give an informative and entertaining introduction to some of the most profound discoveries of the last three centuries in algebraic geometry, abstract algebra, and number theory. They demonstrate how mathematics grows more abstract to tackle ever more challenging problems, and how each new generation of mathematicians builds on the accomplishments of those who preceded them. Ash and Gross fully explain how the Birch and Swinnerton-Dyer Conjecture sheds light on the number theory of elliptic curves, and how it provides a beautiful and startling connection between two very different objects arising from an elliptic curve, one based on calculus, the other on algebra.

The Little Book of Mathematical Principles, Theories, & Things


Robert Solomon - 2008
    Rare Book

The Shape of Inner Space: String Theory and the Geometry of the Universe's Hidden Dimensions


Shing-Tung Yau - 2010
    According to theorists, the missing six are curled up in bizarre structures known as Calabi-Yau manifolds. In The Shape of Inner Space, Shing-Tung Yau, the man who mathematically proved that these manifolds exist, argues that not only is geometry fundamental to string theory, it is also fundamental to the very nature of our universe.Time and again, where Yau has gone, physics has followed. Now for the first time, readers will follow Yau’s penetrating thinking on where we’ve been, and where mathematics will take us next. A fascinating exploration of a world we are only just beginning to grasp, The Shape of Inner Space will change the way we consider the universe on both its grandest and smallest scales.

A Mathematician's Apology


G.H. Hardy - 1940
    H. Hardy was one of this century's finest mathematical thinkers, renowned among his contemporaries as a 'real mathematician ... the purest of the pure'. He was also, as C. P. Snow recounts in his Foreword, 'unorthodox, eccentric, radical, ready to talk about anything'. This 'apology', written in 1940 as his mathematical powers were declining, offers a brilliant and engaging account of mathematics as very much more than a science; when it was first published, Graham Greene hailed it alongside Henry James's notebooks as 'the best account of what it was like to be a creative artist'. C. P. Snow's Foreword gives sympathetic and witty insights into Hardy's life, with its rich store of anecdotes concerning his collaboration with the brilliant Indian mathematician Ramanujan, his aphorisms and idiosyncrasies, and his passion for cricket. This is a unique account of the fascination of mathematics and of one of its most compelling exponents in modern times.

All the Mathematics You Missed


Thomas A. Garrity - 2001
    This book will offer students a broad outline of essential mathematics and will help to fill in the gaps in their knowledge. The author explains the basic points and a few key results of all the most important undergraduate topics in mathematics, emphasizing the intuitions behind the subject. The topics include linear algebra, vector calculus, differential and analytical geometry, real analysis, point-set topology, probability, complex analysis, set theory, algorithms, and more. An annotated bibliography offers a guide to further reading and to more rigorous foundations.

To Infinity and Beyond: A Cultural History of the Infinite


Eli Maor - 1986
    He evokes the profound intellectual impact the infinite has exercised on the human mind--from the horror infiniti of the Greeks to the works of M. C. Escher; from the ornamental designs of the Moslems, to the sage Giordano Bruno, whose belief in an infinite universe led to his death at the hands of the Inquisition. But above all, the book describes the mathematician's fascination with infinity--a fascination mingled with puzzlement. Maor explores the idea of infinity in mathematics and in art and argues that this is the point of contact between the two, best exemplified by the work of the Dutch artist M. C. Escher, six of whose works are shown here in beautiful color plates.--Los Angeles Times [Eli Maor's] enthusiasm for the topic carries the reader through a rich panorama.--Choice Fascinating and enjoyable.... places the ideas of infinity in a cultural context and shows how they have been espoused and molded by mathematics.--Science

Things to Make and Do in the Fourth Dimension


Matt Parker - 2014
    This book can be cut, drawn in, folded into shapes and will even take you to the fourth dimension. So join stand-up mathematician Matt Parker on a journey through narcissistic numbers, optimal dating algorithms, at least two different kinds of infinity and more.

The Knot Book: An Elementary Introduction to the Mathematical Theory of Knots


Colin Conrad Adams - 1994
    The study of knots has led to important applications in DNA research and the synthesis of new molecules, and has had a significant impact on statistical mechanics and quantum field theory. Colin Adams’s The Knot Book is the first book to make cutting-edge research in knot theory accessible to a non-specialist audience. Starting with the simplest knots, Adams guides readers through increasingly more intricate twists and turns of knot theory, exploring problems and theorems mathematicians can now solve, as well as those that remain open. He also explores how knot theory is providing important insights in biology, chemistry, physics, and other fields. The new paperback edition has been updated to include the latest research results, and includes hundreds of illustrations of knots, as well as worked examples, exercises and problems. With a simple piece of string, an elementary mathematical background, and The Knot Book, anyone can start learning about some of the most advanced ideas in contemporary mathematics.

Gamma: Exploring Euler's Constant


Julian Havil - 2003
    Following closely behind is y, or gamma, a constant that arises in many mathematical areas yet maintains a profound sense of mystery. In a tantalizing blend of history and mathematics, Julian Havil takes the reader on a journey through logarithms and the harmonic series, the two defining elements of gamma, toward the first account of gamma's place in mathematics. Introduced by the Swiss mathematician Leonhard Euler (1707-1783), who figures prominently in this book, gamma is defined as the limit of the sum of 1 + 1/2 + 1/3 + . . . Up to 1/n, minus the natural logarithm of n--the numerical value being 0.5772156. . . . But unlike its more celebrated colleagues π and e, the exact nature of gamma remains a mystery--we don't even know if gamma can be expressed as a fraction. Among the numerous topics that arise during this historical odyssey into fundamental mathematical ideas are the Prime Number Theorem and the most important open problem in mathematics today--the Riemann Hypothesis (though no proof of either is offered!). Sure to be popular with not only students and instructors but all math aficionados, Gamma takes us through countries, centuries, lives, and works, unfolding along the way the stories of some remarkable mathematics from some remarkable mathematicians.-- "Notices of the American Mathematical Society"

Euclid's Window: The Story of Geometry from Parallel Lines to Hyperspace


Leonard Mlodinow - 2001
    Here is an altogether new, refreshing, alternative history of math revealing how simple questions anyone might ask about space -- in the living room or in some other galaxy -- have been the hidden engine of the highest achievements in science and technology. Based on Mlodinow's extensive historical research; his studies alongside colleagues such as Richard Feynman and Kip Thorne; and interviews with leading physicists and mathematicians such as Murray Gell-Mann, Edward Witten, and Brian Greene, Euclid's Window is an extraordinary blend of rigorous, authoritative investigation and accessible, good-humored storytelling that makes a stunningly original argument asserting the primacy of geometry. For those who have looked through Euclid's Window, no space, no thing, and no time will ever be quite the same.