The proof is in the pudding : the changing nature of mathematical proof / Steven G. Krantz.
Material type: TextPublication details: New York ; London : Springer, c2011.Description: xvi, 264 p. : ill. ; 26 cmISBN:- 0387489088 (acidfree paper)
- 9780387489087 (acid-free paper)
- Changing nature of mathematical proof
- Mathematical proof
Item type | Home library | Collection | Call number | Materials specified | Status | Date due | Barcode | Item holds | |
---|---|---|---|---|---|---|---|---|---|
Adult Book | Main Library | NonFiction | 511.36 K89 | Available | 33111006818773 |
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.