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

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Stillwell, John (Autor)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Princeton, NJ : Princeton University Press, [2022]
Temas:
Proof theory > History.
MATHEMATICS / History & Philosophy.
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.
Acceso en línea:Texto completo
Texto completo

Internet

Texto completo
Texto completo

Items no disponibles

Detalle de Existencias desde

Ejemplares similares