Syndetics cover image
Image from Syndetics

The proof is in the pudding : the changing nature of mathematical proof / Steven G. Krantz.

By: Material type: TextTextPublication details: New York ; London : Springer, c2011.Description: xvi, 264 p. : ill. ; 26 cmISBN:
  • 0387489088 (acidfree paper)
  • 9780387489087 (acid-free paper)
Other title:
  • Changing nature of mathematical proof
  • Mathematical proof
Subject(s):
Partial contents:
What is a proof and why? -- The ancients -- The middle ages and an emphasis on calculation -- The dawn of the modern age -- Hilbert and the twentieth century -- The tantalizing four-color theorem -- Computer-generated proofs -- The computer as an aid to teaching and a substitute for proof -- Aspects of modern mathematical life -- Beyond computers : the sociology of mathematical proof -- A legacy of elusive proofs -- John Horgan and "the death of proof?" -- Closing thoughts.
Holdings
Item type Home library Collection Call number Materials specified Status Date due Barcode Item holds
Adult Book Adult Book Main Library NonFiction 511.36 K89 Available 33111006818773
Total holds: 0

Enhanced descriptions from Syndetics:

Krantz takes the reader on a journey around the globe and through centuries of history , exploring the many transformations that mathematical proof has undergone from its inception at the time of Euclid and Pythagoras to its versatile, present-day use . The author elaborates on the beauty, challenges and metamorphisms of thought that have accompanied the search for truth through proof.

The first two chapters examine the early beginnings of concept of proof and the creation of its elegant structure and language, touching on some of the logic and philosophy behind these developments. The history then unfolds as the author explains the changing face of proofs. The more well-known proofs , the mathematicians behind them, and the world that surrounded them are all highlighted . Each story has its own unique past; there was often a philosophical, sociological, technological or competitive edge that restricted or promoted progress. But the author's commentary and insights create a seamless thread throughout the many vignettes.

Though there are many truths to be discovered in this book, by the end it is clear that there is no formalized approach or standard method of discovery to date. This is shown in noting some of the more prominent discussions currently underway, such as Gorenstein's effort to classify finance groups, Thomas Hale's resolution of the Kepler sphere-packing problem, and other modern tales. Most of the proofs are discussed in detail with figures and

some equations accompanying them, allowing both the professional mathematician and those less familiar with mathematics to derive the same joy from reading this book.

Includes bibliographical references (p. 241-249) and index.

What is a proof and why? -- The ancients -- The middle ages and an emphasis on calculation -- The dawn of the modern age -- Hilbert and the twentieth century -- The tantalizing four-color theorem -- Computer-generated proofs -- The computer as an aid to teaching and a substitute for proof -- Aspects of modern mathematical life -- Beyond computers : the sociology of mathematical proof -- A legacy of elusive proofs -- John Horgan and "the death of proof?" -- Closing thoughts.

Powered by Koha