Cargando…
The Story of Proof : Logic and the History of Mathematics /
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...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Princeton, NJ :
Princeton University Press,
[2022]
|
| Temas: | |
| Acceso en línea: | Texto completo Texto completo |
MARC
| LEADER | 00000nam a22000005i 4500 | ||
|---|---|---|---|
| 001 | DEGRUYTERUP_9780691234373 | ||
| 003 | DE-B1597 | ||
| 005 | 20221201113901.0 | ||
| 006 | m|||||o||d|||||||| | ||
| 007 | cr || |||||||| | ||
| 008 | 221201t20222022nju fo d z eng d | ||
| 020 | |a 9780691234373 | ||
| 024 | 7 | |a 10.1515/9780691234373 |2 doi | |
| 035 | |a (DE-B1597)633686 | ||
| 035 | |a (OCoLC)1347381552 | ||
| 040 | |a DE-B1597 |b eng |c DE-B1597 |e rda | ||
| 041 | 0 | |a eng | |
| 044 | |a nju |c US-NJ | ||
| 050 | 4 | |a QA9.54 |b .S85 2022 | |
| 072 | 7 | |a MAT015000 |2 bisacsh | |
| 082 | 0 | 4 | |a 511.36 |2 23 |
| 100 | 1 | |a Stillwell, John, |e author. |4 aut |4 http://id.loc.gov/vocabulary/relators/aut | |
| 245 | 1 | 4 | |a The Story of Proof : |b Logic and the History of Mathematics / |c John Stillwell. |
| 264 | 1 | |a Princeton, NJ : |b Princeton University Press, |c [2022] | |
| 264 | 4 | |c ©2022 | |
| 300 | |a 1 online resource (456 p.) : |b 98 color + 71 b/w illus. | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 347 | |a text file |b PDF |2 rda | ||
| 505 | 0 | 0 | |t Frontmatter -- |t Contents -- |t Preface -- |t CHAPTER 1 Before Euclid -- |t CHAPTER 2 Euclid -- |t CHAPTER 3 After Euclid -- |t CHAPTER 4 Algebra -- |t CHAPTER 5 Algebraic Geometry -- |t CHAPTER 6 Calculus -- |t CHAPTER 7 Number Theory -- |t CHAPTER 8 The Fundamental Theorem of Algebra -- |t CHAPTER 9 Non-Euclidean Geometry -- |t CHAPTER 10 Topology -- |t CHAPTER 11 Arithmetization -- |t CHAPTER 12 Set Theory -- |t CHAPTER 13 Axioms for Numbers, Geometry, and Sets -- |t CHAPTER 14 The Axiom of Choice -- |t CHAPTER 15 Logic and Computation -- |t CHAPTER 16 Incompleteness -- |t Bibliography -- |t Index |
| 506 | 0 | |a restricted access |u http://purl.org/coar/access_right/c_16ec |f online access with authorization |2 star | |
| 520 | |a 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. | ||
| 538 | |a Mode of access: Internet via World Wide Web. | ||
| 546 | |a In English. | ||
| 588 | 0 | |a Description based on online resource; title from PDF title page (publisher's Web site, viewed 01. Dez 2022) | |
| 650 | 0 | |a Proof theory |x History. | |
| 650 | 7 | |a MATHEMATICS / History & Philosophy. |2 bisacsh | |
| 653 | |a Accuracy and precision. | ||
| 653 | |a Addition. | ||
| 653 | |a Aleph number. | ||
| 653 | |a Algorithm. | ||
| 653 | |a Analogy. | ||
| 653 | |a Analysis. | ||
| 653 | |a Archimedean property. | ||
| 653 | |a Associative property. | ||
| 653 | |a Axiom of choice. | ||
| 653 | |a Axiom schema. | ||
| 653 | |a Axiom. | ||
| 653 | |a Bijection. | ||
| 653 | |a Calculation. | ||
| 653 | |a Certainty. | ||
| 653 | |a Coefficient. | ||
| 653 | |a Commutative property. | ||
| 653 | |a Computability theory. | ||
| 653 | |a Computability. | ||
| 653 | |a Computable function. | ||
| 653 | |a Computation. | ||
| 653 | |a Constructible number. | ||
| 653 | |a Constructive analysis. | ||
| 653 | |a Continuous function (set theory). | ||
| 653 | |a Corollary. | ||
| 653 | |a Countable set. | ||
| 653 | |a Credential. | ||
| 653 | |a Dedekind cut. | ||
| 653 | |a Desargues's theorem. | ||
| 653 | |a Determinant. | ||
| 653 | |a Direct proof. | ||
| 653 | |a Equation. | ||
| 653 | |a Equinumerosity. | ||
| 653 | |a Estimation. | ||
| 653 | |a Estimator. | ||
| 653 | |a Extreme value theorem. | ||
| 653 | |a Fundamental theorem. | ||
| 653 | |a Gentzen's consistency proof. | ||
| 653 | |a Geometry. | ||
| 653 | |a Hypotenuse. | ||
| 653 | |a Hypothesis. | ||
| 653 | |a Identifiability. | ||
| 653 | |a Inference. | ||
| 653 | |a Infimum and supremum. | ||
| 653 | |a Infinitesimal. | ||
| 653 | |a Intermediate value theorem. | ||
| 653 | |a Intuitionism. | ||
| 653 | |a Logic. | ||
| 653 | |a Logical connective. | ||
| 653 | |a Mathematical induction. | ||
| 653 | |a Mathematician. | ||
| 653 | |a Mathematics. | ||
| 653 | |a Maximal element. | ||
| 653 | |a Natural number. | ||
| 653 | |a Number theory. | ||
| 653 | |a Obstacle. | ||
| 653 | |a Ordinal number. | ||
| 653 | |a Peano axioms. | ||
| 653 | |a Permutation group. | ||
| 653 | |a Permutation. | ||
| 653 | |a Planarity. | ||
| 653 | |a Playfair's axiom. | ||
| 653 | |a Polygon. | ||
| 653 | |a Polynomial. | ||
| 653 | |a Power set. | ||
| 653 | |a Predicate logic. | ||
| 653 | |a Prediction. | ||
| 653 | |a Prime factor. | ||
| 653 | |a Prime number. | ||
| 653 | |a Proof by infinite descent. | ||
| 653 | |a Proof theory. | ||
| 653 | |a Pythagorean theorem. | ||
| 653 | |a Quantifier (logic). | ||
| 653 | |a Quantity. | ||
| 653 | |a Quaternion. | ||
| 653 | |a Quintic function. | ||
| 653 | |a Rational number. | ||
| 653 | |a Real number. | ||
| 653 | |a Reason. | ||
| 653 | |a Recursively enumerable set. | ||
| 653 | |a Rule of inference. | ||
| 653 | |a Satisfiability. | ||
| 653 | |a Self-reference. | ||
| 653 | |a Sequence. | ||
| 653 | |a Set theory. | ||
| 653 | |a Special case. | ||
| 653 | |a Staffing. | ||
| 653 | |a Subsequence. | ||
| 653 | |a Subset. | ||
| 653 | |a Summation. | ||
| 653 | |a Symbolic computation. | ||
| 653 | |a Symmetry group. | ||
| 653 | |a Theorem. | ||
| 653 | |a Theory. | ||
| 653 | |a Total order. | ||
| 653 | |a Truth value. | ||
| 653 | |a Turing machine. | ||
| 653 | |a Unit square. | ||
| 653 | |a Vector space. | ||
| 653 | |a Well-order. | ||
| 653 | |a Zorn's lemma. | ||
| 773 | 0 | 8 | |i Title is part of eBook package: |d De Gruyter |t Princeton University Press Complete eBook-Package 2022 |z 9783110749731 |
| 856 | 4 | 0 | |u https://doi.uam.elogim.com/10.1515/9780691234373?locatt=mode:legacy |z Texto completo |
| 856 | 4 | 0 | |u https://degruyter.uam.elogim.com/isbn/9780691234373 |z Texto completo |
| 912 | |a 978-3-11-074973-1 Princeton University Press Complete eBook-Package 2022 |b 2022 | ||
| 912 | |a EBA_CL_MTPY | ||
| 912 | |a EBA_EBKALL | ||
| 912 | |a EBA_ECL_MTPY | ||
| 912 | |a EBA_EEBKALL | ||
| 912 | |a EBA_ESTMALL | ||
| 912 | |a EBA_PPALL | ||
| 912 | |a EBA_STMALL | ||
| 912 | |a GBV-deGruyter-alles | ||
| 912 | |a PDA12STME | ||
| 912 | |a PDA13ENGE | ||
| 912 | |a PDA18STMEE | ||
| 912 | |a PDA5EBK | ||