Story of Proof
portes grátis
Story of Proof
Logic and the History of Mathematics
Stillwell, John
Princeton University Press
11/2022
456
Dura
Inglês
9780691234366
15 a 20 dias
Descrição não disponível.
Índice não disponível.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Theorem; Axiom; Natural number; Computation; Geometry; Real number; Mathematics; Peano axioms; Predicate logic; Summation; Equation; Rule of inference; Well-order; Pythagorean theorem; Proof theory; Subset; Continuous function (set theory); Gentzen's consistency proof; Zorn's lemma; Truth value; Computable function; Direct proof; Algorithm; Axiom of choice; Set theory; Turing machine; Determinant; Mathematical induction; Prime number; Special case; Playfair's axiom; Countable set; Extreme value theorem; Rational number; Credential; Addition; Mathematician; Fundamental theorem; Quaternion; Desargues's theorem; Permutation; Number theory; Commutative property; Intuitionism; Inference; Infimum and supremum; Self-reference; Prime factor; Calculation; Analogy; Analysis; Associative property; Recursively enumerable set; Dedekind cut; Hypothesis; Prediction; Logical connective; Intermediate value theorem; Aleph number; Total order; Constructive analysis; Reason; Infinitesimal; Identifiability; Power set; Hypotenuse; Logic; Proof by infinite descent; Satisfiability; Quantity
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Theorem; Axiom; Natural number; Computation; Geometry; Real number; Mathematics; Peano axioms; Predicate logic; Summation; Equation; Rule of inference; Well-order; Pythagorean theorem; Proof theory; Subset; Continuous function (set theory); Gentzen's consistency proof; Zorn's lemma; Truth value; Computable function; Direct proof; Algorithm; Axiom of choice; Set theory; Turing machine; Determinant; Mathematical induction; Prime number; Special case; Playfair's axiom; Countable set; Extreme value theorem; Rational number; Credential; Addition; Mathematician; Fundamental theorem; Quaternion; Desargues's theorem; Permutation; Number theory; Commutative property; Intuitionism; Inference; Infimum and supremum; Self-reference; Prime factor; Calculation; Analogy; Analysis; Associative property; Recursively enumerable set; Dedekind cut; Hypothesis; Prediction; Logical connective; Intermediate value theorem; Aleph number; Total order; Constructive analysis; Reason; Infinitesimal; Identifiability; Power set; Hypotenuse; Logic; Proof by infinite descent; Satisfiability; Quantity
