Shortcuts
Top of page (Alt+0)
Page content (Alt+9)
Page menu (Alt+8)
Your browser does not support javascript, some WebOpac functionallity will not be available.
.
Default
.
PageMenu
-
Main Menu
-
Simple Search
.
Advanced Search
.
Journal Search
.
Refine Search Results
.
Preferences
.
Search Menu
Simple Search
.
Advanced Search
.
New Items Search
.
Journal Search
.
Refine Search Results
.
Bottom Menu
Help
Italian
.
English
.
German
.
New Item Menu
New Items Search
.
New Items List
.
Links
SISSA Library
.
ICTP library
.
Italian National web catalog (SBN)
.
Trieste University web catalog
.
Udine University web catalog
.
© LIBERO v6.4.1sp220816
Page content
You are here
:
Catalogue Display
Catalogue Display
The Proof is in the Pudding: The Changing Nature of Mathematical Proof
.
Bookmark this Record
Catalogue Record 28011
.
.
Author info on Wikipedia
.
.
LibraryThing
.
.
Google Books
.
.
Amazon Books
.
Catalogue Information
Catalogue Record 28011
.
Reviews
Catalogue Record 28011
.
British Library
Resolver for RSN-28011
Google Scholar
Resolver for RSN-28011
WorldCat
Resolver for RSN-28011
Catalogo Nazionale SBN
Resolver for RSN-28011
GoogleBooks
Resolver for RSN-28011
ICTP Library
Resolver for RSN-28011
.
Share Link
Jump to link
Catalogue Information
Field name
Details
Dewey Class
510.9
Title
The Proof is in the Pudding ([Ebook]) : The Changing Nature of Mathematical Proof / by Steven G. Krantz.
Author
Krantz, Steven George , 1951-
Other name(s)
SpringerLink (Online service)
Publication
New York, NY : Springer , 2011.
Physical Details
XVII, 264 pages., 88 illus., 5 illus. in color. : online resource.
ISBN
9780387487441
Summary Note
Krantz's book covers the full history and evolution of the proof concept. The notion of rigorous thinking has evolved over time, and this book documents that development. It gives examples both of decisive developments in the technique of proof and also of magnificent blunders that taught us about how to think rigorously. Many historical vignettes illustrate the concepts and acquaint the reader with how mathematicians think and what they care about. In modern times, strict rules for generating and recording proof have been established. At the same time, many new vectors and forces have had an influence over the way mathematics is practiced. Certainly the computer plays a fundamental role in many mathematical investigations. But there are also fascinating social forces that have affected the way that we now conceive of proof. Daniel Gorenstein's program to classify the finite simple groups, Thomas Halesâs resolution of the Kepler sphere-packing problem, Louis de Brangesâs proof of the Bieberbach conjecture, and Thurston's treatment of the geometrization program are but some examples of mathematical proofs that were generated in ways inconceivable 100 years ago. Krantz treats all of them---and more---in some detail; he names the players and tells all the secrets. Many of the proofs treated in this book are described in some detail, with figures and explanatory equations. The reader is given a dose of modern mathematics, and how mathematicians think.  Both the joy and the sorrow of mathematical exploration are communicated dynamically and energetically in this exciting new book.:
Contents note
1. What is a Proof and Why? -- 2. The Ancients -- 3. The Middle Ages and Calculation -- 4. The Dawn of the Modern Age -- 5. Hilbert and the Twentieth Century -- 6. The Four-Color Theorem -- 7. Computer-Generated Proofs -- 8. The Computer as a Mathematical Aid -- 9. Aspects of Mathematical Life -- 10. The Sociology of Mathematical Proof -- 11. A Legacy of Elusive Proofs -- 12. John Horgan and "The Death of Proof" -- 13. Closing Thoughts -- Index of Names -- References -- Index.
System details note
Online access to this digital book is restricted to subscription institutions through IP address (only for SISSA internal users)
Internet Site
http://dx.doi.org/10.1007/978-0-387-48744-1
Links to Related Works
Subject References:
History of Mathematical Sciences
.
Logic, Symbolic and mathematical
.
Mathematical Logic and Foundations
.
Mathematics
.
Numerical Analysis
.
Popular Science in Mathematics/Computer Science/Natural Science/Technology
.
Authors:
Krantz, Steven George 1951-
.
Corporate Authors:
SpringerLink (Online service)
.
Classification:
510.9
.
510.9 (DDC 23)
.
.
ISBD Display
Catalogue Record 28011
.
Tag Display
Catalogue Record 28011
.
Related Works
Catalogue Record 28011
.
Marc XML
Catalogue Record 28011
.
Add Title to Basket
Catalogue Record 28011
.
Catalogue Information 28011
Beginning of record
.
Catalogue Information 28011
Top of page
.
Download Title
Catalogue Record 28011
Export
This Record
As
Labelled Format
Bibliographic Format
ISBD Format
MARC Format
MARC Binary Format
MARCXML Format
User-Defined Format:
Title
Author
Series
Publication Details
Subject
To
File
Email
Reviews
This item has not been rated.
Add a Review and/or Rating
28011
1
28011
-
2
28011
-
3
28011
-
4
28011
-
5
28011
-
Quick Search
Search for