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

Internet

Connect to this title online (unlimited users allowed)

Online

Holdings details from Online
Available