| 000 -LEADER |
|---|
| fixed length control field |
03572cam a22004577a 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
16754102 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
OSt |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20170519080905.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
110428s2011 nyua b 001 0 eng d |
| 010 ## - LIBRARY OF CONGRESS CONTROL NUMBER |
|---|
| LC control number |
2011928557 |
| 015 ## - NATIONAL BIBLIOGRAPHY NUMBER |
|---|
| National bibliography number |
GBB060120 |
| Source |
bnb |
| 016 7# - NATIONAL BIBLIOGRAPHIC AGENCY CONTROL NUMBER |
|---|
| Record control number |
015550513 |
| Source |
Uk |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9780387489087 (acidfree paper) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
0387489088 (acidfree paper) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Cancelled/invalid ISBN |
9780387487441 (e-ISBN) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Cancelled/invalid ISBN |
0387487441 (e-ISBN) |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(OCoLC)ocn733917597 |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
EQO |
| Transcribing agency |
EQO |
| Modifying agency |
CDX |
| -- |
NCRA |
| 042 ## - AUTHENTICATION CODE |
|---|
| Authentication code |
lccopycat |
| 050 00 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA9.54 |
| Item number |
.K73 2011 |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
51 KRA |
| 100 1# - MAIN ENTRY--PERSONAL NAME |
|---|
| Personal name |
Krantz, Steven G. |
| Fuller form of name |
(Steven George), |
| Dates associated with a name |
1951- |
| 245 14 - TITLE STATEMENT |
|---|
| Title |
The proof is in the pudding : |
| Remainder of title |
the changing nature of mathematical proof / |
| Statement of responsibility, etc |
Steven G. Krantz. |
| 246 30 - VARYING FORM OF TITLE |
|---|
| Title proper/short title |
Changing nature of mathematical proof |
| 246 30 - VARYING FORM OF TITLE |
|---|
| Title proper/short title |
Mathematical proof |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
|---|
| Place of publication, distribution, etc |
New York ; |
| -- |
London : |
| Name of publisher, distributor, etc |
Springer, |
| Date of publication, distribution, etc |
c2011. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
xvi, 264 p. : |
| Other physical details |
ill. ; |
| Dimensions |
26 cm. |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc |
Includes bibliographical references (p. 241-249) and index. |
| 505 2# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
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. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc |
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 some examples of mathematical proofs that were generated in ways inconceivable 100 years ago.... Many of the proofs treated in this book are described in some detail, with figures and explanatory equations.--From publisher description. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Proof theory. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Proof theory |
| General subdivision |
History. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Mathematics |
| General subdivision |
Philosophy. |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Théorie de la démonstration. |
| Source of heading or term |
ram |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Symbolic logic. |
| Source of heading or term |
sears |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Mathematics |
| General subdivision |
Philosophy. |
| Source of heading or term |
sears |
| 906 ## - LOCAL DATA ELEMENT F, LDF (RLIN) |
|---|
| a |
7 |
| b |
cbc |
| c |
copycat |
| d |
2 |
| e |
ncip |
| f |
20 |
| g |
y-gencatlg |
| 936 ## - OCLC/CONSER MISCELLANEOUS DATA (OCLC); PIECE USED FOR CATALOGING (pre-AACR2) (RLIN) |
|---|
| OCLC control number(s) of parallel record(s) (OCLC); Piece used for cataloging, PUC (RLIN) |
PR 740996680 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) |
|---|
| Source of classification or shelving scheme |
|
| Koha item type |
Books |