Category:Proofs

From Freepedia

Subcategories

There is 1 subcategory to this category.

T

• Theorem provers

Articles in category "Proofs"

There are 49 articles in this category.

A Automated theorem proving C Cantor's diagonal argument Cayley's theorem Characterizations of the exponential function Closed-form solution Combinatorial proof Complete induction Conditional proof Constructive proof D Diagram chasing Direct proof E Erdős–Ko–Rado theorem Existence theorem F Fundamental theorem of Riemannian geometry H Helly's theorem Heron's formula

H cont. Holomorphic functions are analytic I Infinite descent Invalid proof K König's lemma L Leibniz formula for pi List of mathematical proofs M Mathematical induction Mathematical proof Minimal counterexample N Nonconstructive proof O Original proof of Gödel's completeness theorem P Pick's theorem Probabilistic method Proof by exhaustion Proof by tenure Proof by verbosity Proof of Bertrand's postulate

P cont. Proof of mathematical induction Proof that 0.999... equals 1 Proof that 22 over 7 exceeds π Proof that e is irrational Proofs of Fermat's little theorem Pythagorean trigonometric identity Q Q.E.D. R Ramsey's theorem Reductio ad absurdum S Sperner's lemma Structural induction T Thales' theorem Three forms of mathematical induction U Urysohn's lemma V Viète formula W Wallis product