The Story of Proof : (Record no. 49525)

MARC details
000 -LEADER
fixed length control field 09601nam a2202329 4500
003 - CONTROL NUMBER IDENTIFIER
control field DE-B1597
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20260416115149.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 260303s2022 nju fo d z eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9780691234373
041 0# - LANGUAGE CODE
Language
044 ## - COUNTRY OF PUBLISHING/PRODUCING ENTITY CODE
MARC country code nju
ISO country code US-NJ
072 #7 - SUBJECT CATEGORY CODE
Subject category code SCI
Subject category code subdivision 034000
Source bisacsh
072 #7 - SUBJECT CATEGORY CODE
Subject category code MAT
Subject category code subdivision 015000
Source bisacsh
072 #7 - SUBJECT CATEGORY CODE
Subject category code MAT
Subject category code subdivision 018000
Source bisacsh
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Stillwell, John,
245 00 - TITLE STATEMENT
Title The Story of Proof :
Remainder of title Logic and the History of Mathematics /
Statement of responsibility, etc John Stillwell, John Stillwell.
300 ## - PHYSICAL DESCRIPTION
Extent 1 online resource
505 00 - FORMATTED CONTENTS NOTE
Title Frontmatter --
-- Contents --
-- Preface --
-- CHAPTER 1 Before Euclid --
-- CHAPTER 2 Euclid --
-- CHAPTER 3 After Euclid --
-- CHAPTER 4 Algebra --
-- CHAPTER 5 Algebraic Geometry --
-- CHAPTER 6 Calculus --
-- CHAPTER 7 Number Theory --
-- CHAPTER 8 The Fundamental Theorem of Algebra --
-- CHAPTER 9 Non-Euclidean Geometry --
-- CHAPTER 10 Topology --
-- CHAPTER 11 Arithmetization --
-- CHAPTER 12 Set Theory --
-- CHAPTER 13 Axioms for Numbers, Geometry, and Sets --
-- CHAPTER 14 The Axiom of Choice --
-- CHAPTER 15 Logic and Computation --
-- CHAPTER 16 Incompleteness --
-- Bibliography --
-- Index
520 ## - SUMMARY, ETC.
Summary, etc How the concept of proof has enabled the creation of mathematical knowledgeThe 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 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element SCIENCE / History.
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element MATHEMATICS / History & Philosophy.
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element MATHEMATICS / Logic.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Stillwell, John,
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier <a href="https://www.degruyterbrill.com/isbn/9780691234373">https://www.degruyterbrill.com/isbn/9780691234373</a>
856 42 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier <a href="https://www.degruyterbrill.com/document/cover/isbn/9780691234373/original">https://www.degruyterbrill.com/document/cover/isbn/9780691234373/original</a>
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type Electronic Books
100 1# - MAIN ENTRY--PERSONAL NAME
Relator term author.
Relator code aut
-- http://id.loc.gov/vocabulary/relators/aut
264 #1 -
-- Princeton, NJ
-- Princeton University Press,
-- [2022]
264 #4 -
-- ©2022
336 ## -
-- text
-- txt
-- rdacontent
337 ## -
-- computer
-- c
-- rdamedia
338 ## -
-- online resource
-- cr
-- rdacarrier
347 ## -
-- text file
-- PDF
-- rda
506 0# - RESTRICTIONS ON ACCESS NOTE
Terms governing access restricted access
Uniform Resource Identifier <a href="http://purl.org/coar/access_right/c_16ec">http://purl.org/coar/access_right/c_16ec</a>
Standardized terminology for access restriction online access with authorization
Source of term star
538 ## - SYSTEM DETAILS NOTE
System details note Mode of access: Internet via World Wide Web.
545 ## - BIOGRAPHICAL OR HISTORICAL DATA
Biographical or historical note John Stillwell is emeritus professor of mathematics at the University of San Francisco. His many books include Elements of Mathematics and Reverse Mathematics (both Princeton).
546 ## - LANGUAGE NOTE
Language note In English.
588 0# -
-- Description based on online resource; title from PDF title page (publisher's Web site, viewed March 03 2026)
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Source of heading or term bisacsh
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Source of heading or term bisacsh
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Source of heading or term bisacsh
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Theorem
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Axiom
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Natural number
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Computation
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Geometry
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Real number
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Mathematics
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Peano axioms
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Predicate logic
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Summation
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Equation
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Rule of inference
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Well-order
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Pythagorean theorem
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Proof theory
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Subset
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Continuous function (set theory)
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Gentzen's consistency proof
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Zorn's lemma
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Truth value
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Computable function
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Direct proof
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Algorithm
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Axiom of choice
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Set theory
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Turing machine
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Determinant
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Mathematical induction
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Prime number
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Special case
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Playfair's axiom
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Countable set
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Extreme value theorem
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Rational number
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Credential
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Addition
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Mathematician
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Fundamental theorem
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Quaternion
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Desargues's theorem
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Permutation
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Number theory
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Commutative property
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Intuitionism
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Inference
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Infimum and supremum
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Self-reference
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Prime factor
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Calculation
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Analogy
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Analysis
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Associative property
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Recursively enumerable set
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Dedekind cut
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Hypothesis
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Prediction
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Logical connective
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Intermediate value theorem
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Aleph number
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Total order
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Constructive analysis
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Reason
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Infinitesimal
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Identifiability
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Power set
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Hypotenuse
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Logic
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Proof by infinite descent
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Satisfiability
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Quantity
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Theorem
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Axiom
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Natural number
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Computation
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Geometry
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Real number
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Mathematics
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Peano axioms
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Predicate logic
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Summation
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Equation
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Rule of inference
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Well-order
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Pythagorean theorem
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Proof theory
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Subset
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Continuous function (set theory)
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Gentzen's consistency proof
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Zorn's lemma
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Truth value
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Computable function
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Direct proof
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Algorithm
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Axiom of choice
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Set theory
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Turing machine
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Determinant
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Mathematical induction
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Prime number
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Special case
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Playfair's axiom
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Countable set
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Extreme value theorem
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Rational number
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Credential
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Addition
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Mathematician
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Fundamental theorem
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Quaternion
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Desargues's theorem
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Permutation
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Number theory
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Commutative property
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Intuitionism
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Inference
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Infimum and supremum
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Self-reference
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Prime factor
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Calculation
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Analogy
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Analysis
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Associative property
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Recursively enumerable set
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Dedekind cut
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Hypothesis
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Prediction
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Logical connective
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Intermediate value theorem
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Aleph number
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Total order
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Constructive analysis
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Reason
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Infinitesimal
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Identifiability
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Power set
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Hypotenuse
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Logic
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Proof by infinite descent
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Satisfiability
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Quantity
700 1# - ADDED ENTRY--PERSONAL NAME
Relator term author.
Relator code aut
-- http://id.loc.gov/vocabulary/relators/aut
773 08 - HOST ITEM ENTRY
Display text Title is part of eBook package:
Place, publisher, and date of publication De Gruyter
Title eBook Package Mathematics 2022 English / eBook-Paket Mathematik 2022 Englisch
International Standard Book Number 9783110993868
Other item identifier 978-3-11-099386-8 EBOOK PACKAGE Mathematics 2022 English
773 08 - HOST ITEM ENTRY
Display text Title is part of eBook package:
Place, publisher, and date of publication De Gruyter
Title eBook Package Mathematics 2022 / eBook-Paket Mathematik 2022
International Standard Book Number 9783110770445
Other item identifier ZDB-23-DMA
773 08 - HOST ITEM ENTRY
Display text Title is part of eBook package:
Place, publisher, and date of publication De Gruyter
Title Princeton University Press Complete eBook-Package 2022
International Standard Book Number 9783110749731
Other item identifier ZDB-23-9
773 08 - HOST ITEM ENTRY
Display text Title is part of eBook package:
Place, publisher, and date of publication De Gruyter
Title eBook Package Complete 2022 / eBook-Paket Gesamt 2022
International Standard Book Number 9783110994810
Other item identifier ZDB-23-DGG
773 08 - HOST ITEM ENTRY
Display text Title is part of eBook package:
Place, publisher, and date of publication De Gruyter
Title eBook Package Complete 2022 English / eBook-Paket Gesamt 2022 Englisch
International Standard Book Number 9783110993899
Other item identifier 978-3-11-099389-9 EBOOK PACKAGE COMPLETE 2022 English
856 42 - ELECTRONIC LOCATION AND ACCESS
Materials specified Cover
912 ## -
-- 978-3-11-099386-8 EBOOK PACKAGE Mathematics 2022 English
-- 2022
912 ## -
-- ZDB-23-DMA
-- 2022
912 ## -
-- ZDB-23-9
-- 2022
912 ## -
-- ZDB-23-DGG
-- 2022
912 ## -
-- 978-3-11-099389-9 EBOOK PACKAGE COMPLETE 2022 English
-- 2022
912 ## -
-- EBA_PPALL
912 ## -
-- GBV-deGruyter-alles
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Home library Location Date of Cataloging Total Checkouts Barcode Date last seen Uniform Resource Identifier Price effective from Koha item type
    Dewey Decimal Classification     CUTN Central Library CUTN Central Library 16/04/2026   EB04762 16/04/2026 https://www.degruyter.com/isbn/9780691234373 16/04/2026 Electronic Books