A Mathematical Introduction to Logic


Herbert B. Enderton - 1972
    The author has made this edition more accessible to better meet the needs of today's undergraduate mathematics and philosophy students. It is intended for the reader who has not studied logic previously, but who has some experience in mathematical reasoning. Material is presented on computer science issues such as computational complexity and database queries, with additional coverage of introductory material such as sets.

Proofs from the Book, 3e


Martin Aigner - 1998
    Inside PFTB (Proofs from The Book) is indeed a glimpse of mathematical heaven, where clever insights and beautiful ideas combine in astonishing and glorious ways. There is vast wealth within its pages, one gem after another. Some of the proofs are classics, but many are new and brilliant proofs of classical results. ...Aigner and Ziegler... write: ..". all we offer is the examples that we have selected, hoping that our readers will share our enthusiasm about brilliant ideas, clever insights and wonderful observations." I do. ... " Notices of the AMS, August 1999..". the style is clear and entertaining, the level is close to elementary ... and the proofs are brilliant. ..." LMS Newsletter, January 1999This third edition offers two new chapters, on partition identities, and on card shuffling. Three proofs of Euler's most famous infinite series appear in a separate chapter. There is also a number of other improvements, such as an exciting new way to "enumerate the rationals."

Book of Proof


Richard Hammack - 2009
    It is a bridge from the computational courses (such as calculus or differential equations) that students typically encounter in their first year of college to a more abstract outlook. It lays a foundation for more theoretical courses such as topology, analysis and abstract algebra. Although it may be more meaningful to the student who has had some calculus, there is really no prerequisite other than a measure of mathematical maturity. Topics include sets, logic, counting, methods of conditional and non-conditional proof, disproof, induction, relations, functions and infinite cardinality.

Euclid's Elements


Euclid
    Heath's translation of the thirteen books of Euclid's Elements. In keeping with Green Lion's design commitment, diagrams have been placed on every spread for convenient reference while working through the proofs; running heads on every page indicate both Euclid's book number and proposition numbers for that page; and adequate space for notes is allowed between propositions and around diagrams. The all-new index has built into it a glossary of Euclid's Greek terms.Heath's translation has stood the test of time, and, as one done by a renowned scholar of ancient mathematics, it can be relied upon not to have inadvertantly introduced modern concepts or nomenclature. We have excised the voluminous historical and scholarly commentary that swells the Dover edition to three volumes and impedes classroom use of the original text. The single volume is not only more convenient, but less expensive as well.

Fermat's Enigma


Simon Singh - 1997
    xn + yn = zn, where n represents 3, 4, 5, ...no solution"I have discovered a truly marvelous demonstration of this proposition which this margin is too narrow to contain."With these words, the seventeenth-century French mathematician Pierre de Fermat threw down the gauntlet to future generations.  What came to be known as Fermat's Last Theorem looked simple; proving it, however, became the Holy Grail of mathematics, baffling its finest minds for more than 350 years.  In Fermat's Enigma--based on the author's award-winning documentary film, which aired on PBS's "Nova"--Simon Singh tells the astonishingly entertaining story of the pursuit of that grail, and the lives that were devoted to, sacrificed for, and saved by it.  Here is a mesmerizing tale of heartbreak and mastery that will forever change your feelings about mathematics.

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.

Discrete Mathematics and Its Applications


Kenneth H. Rosen - 2000
    These themes include mathematical reasoning, combinatorial analysis, discrete structures, algorithmic thinking, and enhanced problem-solving skills through modeling. Its intent is to demonstrate the relevance and practicality of discrete mathematics to all students. The Fifth Edition includes a more thorough and linear presentation of logic, proof types and proof writing, and mathematical reasoning. This enhanced coverage will provide students with a solid understanding of the material as it relates to their immediate field of study and other relevant subjects. The inclusion of applications and examples to key topics has been significantly addressed to add clarity to every subject. True to the Fourth Edition, the text-specific web site supplements the subject matter in meaningful ways, offering additional material for students and instructors. Discrete math is an active subject with new discoveries made every year. The continual growth and updates to the web site reflect the active nature of the topics being discussed. The book is appropriate for a one- or two-term introductory discrete mathematics course to be taken by students in a wide variety of majors, including computer science, mathematics, and engineering. College Algebra is the only explicit prerequisite.

Philosophy of Mathematics: Selected Readings


Paul Benacerraf - 1983
    In the same period, the cross-fertilization of mathematics and philosophy resulted in a new sort of 'mathematical philosophy', associated most notably (but in different ways) with Bertrand Russell, W. V. Quine, and Godel himself, and which remains at the focus of Anglo-Saxon philosophical discussion. The present collection brings together in a convenient form the seminal articles in the philosophy of mathematics by these and other major thinkers. It is a substantially revised version of the edition first published in 1964 and includes a revised bibliography. The volume will be welcomed as a major work of reference at this level in the field.

Metamagical Themas: Questing for the Essence of Mind and Pattern


Douglas R. Hofstadter - 1985
    Hofstadter's collection of quirky essays is unified by its primary concern: to examine the way people perceive and think.

Introduction to Mathematical Philosophy


Bertrand Russell - 1918
    In it, Russell offers a nontechnical, undogmatic account of his philosophical criticism as it relates to arithmetic and logic. Rather than an exhaustive treatment, however, the influential philosopher and mathematician focuses on certain issues of mathematical logic that, to his mind, invalidated much traditional and contemporary philosophy.In dealing with such topics as number, order, relations, limits and continuity, propositional functions, descriptions, and classes, Russell writes in a clear, accessible manner, requiring neither a knowledge of mathematics nor an aptitude for mathematical symbolism. The result is a thought-provoking excursion into the fascinating realm where mathematics and philosophy meet — a philosophical classic that will be welcomed by any thinking person interested in this crucial area of modern thought.

The Mathematical Theory of Communication


Claude Shannon - 1949
    Republished in book form shortly thereafter, it has since gone through four hardcover and sixteen paperback printings. It is a revolutionary work, astounding in its foresight and contemporaneity. The University of Illinois Press is pleased and honored to issue this commemorative reprinting of a classic.

The Magic of Math: Solving for X and Figuring Out Why


Arthur T. Benjamin - 2015
    joyfully shows you how to make nature's numbers dance."--Bill Nye (the science guy)The Magic of Math is the math book you wish you had in school. Using a delightful assortment of examples-from ice-cream scoops and poker hands to measuring mountains and making magic squares-this book revels in key mathematical fields including arithmetic, algebra, geometry, and calculus, plus Fibonacci numbers, infinity, and, of course, mathematical magic tricks. Known throughout the world as the "mathemagician," Arthur Benjamin mixes mathematics and magic to make the subject fun, attractive, and easy to understand for math fan and math-phobic alike."A positively joyful exploration of mathematics."-Publishers Weekly, starred review"Each [trick] is more dazzling than the last."-Physics World

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

The Foundations of Arithmetic: A Logico-Mathematical Enquiry into the Concept of Number


Gottlob Frege - 1884
    The book represents the first philosophically sound discussion of the concept of number in Western civilization. It profoundly influenced developments in the philosophy of mathematics and in general ontology.

The Joy of x: A Guided Tour of Math, from One to Infinity


Steven H. Strogatz - 2012
    do it? How should you flip your mattress to get the maximum wear out of it? How does Google search the Internet? How many people should you date before settling down? Believe it or not, math plays a crucial role in answering all of these questions and more.Math underpins everything in the cosmos, including us, yet too few of us understand this universal language well enough to revel in its wisdom, its beauty — and its joy. This deeply enlightening, vastly entertaining volume translates math in a way that is at once intelligible and thrilling. Each trenchant chapter of The Joy of x offers an “aha!” moment, starting with why numbers are so helpful, and progressing through the wondrous truths implicit in π, the Pythagorean theorem, irrational numbers, fat tails, even the rigors and surprising charms of calculus. Showing why he has won awards as a professor at Cornell and garnered extensive praise for his articles about math for the New York Times, Strogatz presumes of his readers only curiosity and common sense. And he rewards them with clear, ingenious, and often funny explanations of the most vital and exciting principles of his discipline.Whether you aced integral calculus or aren’t sure what an integer is, you’ll find profound wisdom and persistent delight in The Joy of x.