MARC details
| 000 -LEADER |
|---|
| fixed length control field |
03282cam a22004097i 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
22415675 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
OSt |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20250820150353.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
220208t20222022njua b 001 0 eng d |
| 010 ## - LIBRARY OF CONGRESS CONTROL NUMBER |
|---|
| LC control number |
2022932472 |
| 015 ## - NATIONAL BIBLIOGRAPHY NUMBER |
|---|
| National bibliography number |
GBC2G2349 |
| Source |
bnb |
| 016 7# - NATIONAL BIBLIOGRAPHIC AGENCY CONTROL NUMBER |
|---|
| Record control number |
020744270 |
| Source |
Uk |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9780691234366 |
| Qualifying information |
(hardcover) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
0691234361 |
| Qualifying information |
(hardcover) |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
22415675 |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(OCoLC)1295806706 |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
YDX |
| Language of cataloging |
eng |
| Description conventions |
rda |
| Transcribing agency |
IISERB |
| 042 ## - AUTHENTICATION CODE |
|---|
| Authentication code |
lccopycat |
| 050 00 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA9.54 |
| Item number |
.S74 2022 |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
511.36 St54S |
| Edition number |
23 |
| 100 1# - MAIN ENTRY--PERSONAL NAME |
|---|
| Personal name |
Stillwell, John. |
| 9 (RLIN) |
32694 |
| 245 14 - TITLE STATEMENT |
|---|
| Title |
The story of proof : |
| Remainder of title |
logic and the history of mathematics / |
| Statement of responsibility, etc |
John Stillwell. |
| 246 10 - VARYING FORM OF TITLE |
|---|
| Title proper/short title |
Logic and the history of mathematics |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
|---|
| Place of publication, distribution, etc |
Princeton: |
| Name of publisher, distributor, etc |
Princeton University Press, |
| Date of publication, distribution, etc |
2022. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
xiv, 441 pages : |
| Other physical details |
illustrations (black and white, and colour) ; |
| Dimensions |
24 cm |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc |
Includes bibliographical references (pages [405]-418) and index. |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
Before Euclid -- Euclid -- After Euclid -- Algebra -- Algebraic Geometry -- Calculus -- Number Theory -- The Fundamental Theorem of Algebra -- Non-Euclidean Geometry -- Topology -- Arithmetization -- Set Theory -- Axioms for Numbers, Geometry, and Sets -- The Axiom of Choice -- Logic and Computation -- Incompleteness. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc |
"How the concept of proof has enabled the creation of mathematical knowledge. The Story of Proof investigates the evolution of the concept of proof--one of the most significant and defining features of mathematical thought--through critical episodes in its history. From the Pythagorean theorem to modern times, and across all major mathematical disciplines, John Stillwell demonstrates that proof is a mathematically vital concept, inspiring innovation and playing a critical role in generating knowledge. Stillwell begins with Euclid and his influence on the development of geometry and its methods of proof, followed by algebra, which began as a self-contained discipline but later came to rival geometry in its mathematical impact. In particular, the infinite processes of calculus were at first viewed as "infinitesimal algebra," and calculus became an arena for algebraic, computational proofs rather than axiomatic proofs in the style of Euclid. Stillwell proceeds to the areas of number theory, non-Euclidean geometry, topology, and logic, and peers into the deep chasm between natural number arithmetic and the real numbers. In its depths, Cantor, Gödel, Turing, and others found that the concept of proof is ultimately part of arithmetic. This startling fact imposes fundamental limits on what theorems can be proved and what problems can be solved. Shedding light on the workings of mathematics at its most fundamental levels, The Story of Proof offers a compelling new perspective on the field's power and progress."-- |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Proof theory |
| General subdivision |
History. |
| 9 (RLIN) |
32695 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
SCIENCE / History. |
| Source of heading or term |
bisacsh |
| 9 (RLIN) |
32696 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Proof theory. |
| Source of heading or term |
fast |
| 9 (RLIN) |
32697 |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
History. |
| Source of term |
fast |
| 9 (RLIN) |
32698 |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| Display text |
ebook version : |
| International Standard Book Number |
9780691234373 |
| 906 ## - LOCAL DATA ELEMENT F, LDF (RLIN) |
|---|
| a |
7 |
| b |
cbc |
| c |
copycat |
| d |
2 |
| e |
ncip |
| f |
20 |
| g |
y-gencatlg |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) |
|---|
| Source of classification or shelving scheme |
Dewey Decimal Classification |
| Koha item type |
Books |
