The story of proof : logic and the history of mathematics

The story of proof : logic and the history of mathematics

Show related works, versions, and editions (1)

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 moder...

Full description

Saved in:
Bibliographic Details
Main Author: Stillwell, John (Author)
Format: Electronic eBook
Published: Princeton, New Jersey : Princeton University Press, [2022]
Subjects:
Proof theory > History.
SCIENCE / History.
MATHEMATICS / History & Philosophy
Proof theory
Accuracy and precision.
Addition.
Aleph number.
Algorithm.
Analogy.
Analysis.
Archimedean property.
Associative property.
Axiom of choice.
Axiom schema.
Axiom.
Bijection.
Calculation.
Certainty.
Coefficient.
Commutative property.
Computability theory.
Computability.
Computable function.
Computation.
Constructible number.
Constructive analysis.
Continuous function (set theory).
Corollary.
Countable set.
Credential.
Dedekind cut.
Desargues's theorem.
Determinant.
Direct proof.
Equation.
Equinumerosity.
Estimation.
Estimator.
Extreme value theorem.
Fundamental theorem.
Gentzen's consistency proof.
Geometry.
Hypotenuse.
Hypothesis.
Identifiability.
Inference.
Infimum and supremum.
Infinitesimal.
Intermediate value theorem.
Intuitionism.
Logic.
Logical connective.
Mathematical induction.
Mathematician.
Mathematics.
Maximal element.
Natural number.
Number theory.
Obstacle.
Ordinal number.
Peano axioms.
Permutation group.
Permutation.
Planarity.
Playfair's axiom.
Polygon.
Polynomial.
Power set.
Predicate logic.
Prediction.
Prime factor.
Prime number.
Proof by infinite descent.
Proof theory.
Pythagorean theorem.
Quantifier (logic).
Quantity.
Quaternion.
Quintic function.
Rational number.
Real number.
Reason.
Recursively enumerable set.
Rule of inference.
Satisfiability.
Self-reference.
Sequence.
Set theory.
Special case.
Staffing.
Subsequence.
Subset.
Summation.
Symbolic computation.
Symmetry group.
Theorem.
Theory.
Total order.
Truth value.
Turing machine.
Unit square.
Vector space.
Well-order.
Zorn's lemma.
Electronic books.
History

Similar Items

  1. 1
    Introduction to logic

    Introduction to logic by Genesereth, Michael R., 1948-, Kao, Eric

    Published 2022
    Connect to this title online
    Electronic eBook
    Save to List
    Saved in:
  2. 2
    Formal number theory and computability : a workbook

    Formal number theory and computability : a workbook by Fisher, Alec

    Published 1982
    Book
    Save to List
    Saved in:
  3. 3
    Functional operators. Volume 2, The geometry of orthogonal spaces

    Functional operators. Volume 2, The geometry of orthogonal spaces by Neumann, John Von

    Published 2016
    Connect to this title online (unlimited users allowed)
    Electronic eBook
    Save to List
    Saved in:
  4. 4
    Predicative Arithmetic. (MN-32).

    Predicative Arithmetic. (MN-32). by Nelson, Edward, 1932-

    Published 2014
    Connect to this title online (unlimited users allowed)
    Electronic eBook
    Save to List
    Saved in:
  5. 5
    Biscuits of number theory

    Biscuits of number theory

    Published 2009
    Book
    Save to List
    Saved in:
  6. 6
    Number theory related to Fermat's last theorem : proceedings of the conference sponsored by the Vaughn Foundation

    Number theory related to Fermat's last theorem : proceedings of the conference sponsored by the Vaughn Foundation

    Published 1982
    Book
    Save to List
    Saved in:
  7. 7
    Equivalents of the axiom of choice

    Equivalents of the axiom of choice by Rubin, Herman

    Published 1963
    Book
    Save to List
    Saved in:
  8. 8
    Fermat's last theorem : a genetic introduction to algebraic number theory

    Fermat's last theorem : a genetic introduction to algebraic number theory by Edwards, Harold M.

    Published 1977
    Book
    Save to List
    Saved in:
  9. 9
    Tableau systems for first order number theory and certain higher order theories

    Tableau systems for first order number theory and certain higher order theories by Toledo, Sue Ann, 1940-

    Published 1975
    Book
    Save to List
    Saved in:
  10. 10
    Mathematical knowledge and the interplay of practices

    Mathematical knowledge and the interplay of practices by Ferreirós Domínguez, José

    Published 2016
    Connect to this title online (unlimited users allowed)
    Electronic eBook
    Save to List
    Saved in:
  11. 11
    The elementary theory of numbers, polynomials, and rational functions

    The elementary theory of numbers, polynomials, and rational functions by Eames, W. P. (William Preston)

    Published 1968
    Book
    Save to List
    Saved in:
  12. 12
    Sets, functions, measures

    Sets, functions, measures by Zakharov, Valeriy K., Rodionov, Timofey V.

    Published 2018
    Available online from ProQuest Ebook Central - Academic Complete: 2018
    Electronic eBook
    Save to List
    Saved in:
  13. 13
    The enjoyment of math

    The enjoyment of math by Rademacher, Hans, 1892-1969, Toeplitz, Otto, 1881-1940

    Published 2023
    Connect to this title online (unlimited users allowed)
    Electronic eBook
    Save to List
    Saved in:
  14. 14
    Summing it up : from one plus one to modern number theory

    Summing it up : from one plus one to modern number theory by Ash, Avner, 1949-

    Published 2016
    Connect to this title online (unlimited users allowed)
    Electronic eBook
    Save to List
    Saved in:
  15. 15
    Selectors

    Selectors by Jayne, John E. (John Eben), 1943-

    Published 2002
    Connect to this title online (unlimited users allowed)
    Electronic eBook
    Save to List
    Saved in:
  16. 16
    The Calculus Gallery : Masterpieces from Newton to Lebesgue.

    The Calculus Gallery : Masterpieces from Newton to Lebesgue. by Dunham, William

    Published 2018
    Connect to this title online (unlimited users allowed)
    Electronic eBook
    Save to List
    Saved in:
  17. 17
    Forcing for mathematicians

    Forcing for mathematicians by Weaver, Nik

    Published 2014
    Connect to Forcing for mathematicians / (unlimited simultaneous users allowed; 325 uses per year)
    Electronic eBook
    Save to List
    Saved in:
  18. 18
    Forcing for mathematicians

    Forcing for mathematicians by Weaver, Nik

    Published 2014
    Available online from ProQuest Ebook Central - Academic Complete: 2014
    Electronic eBook
    Save to List
    Saved in:
  19. 19
    Proofs and fundamentals : a first course in abstract mathematics

    Proofs and fundamentals : a first course in abstract mathematics by Bloch, Ethan D., 1956-

    Published 2000
    Book
    Save to List
    Saved in:
  20. 20
    Integer points in polyhedra geometry, number theory, algebra, optimization : proceedings of an AMS-IMS-SIAM Joint Summer Research Conference on Integer Points in Polyhedra, Geometry, Number Theory, Algebra, Optimization, July 13-17, 2003, Snowbird, Utah

    Integer points in polyhedra geometry, number theory, algebra, optimization : proceedings of an AMS-IMS-SIAM Joint Summer Research Conference on Integer Points in Polyhedra, Geometr...

    Published 2005
    Available online from ProQuest Ebook Central - Academic Complete: 2005
    Electronic Conference Proceeding eBook
    Save to List
    Saved in: