Category:Proofs

From Biocrawler, the free encyclopedia.

Subcategories

There is 1 subcategory to this category.

T

• Theorem provers

Articles in category "Proofs"

There are 50 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 Erdos-Ko-Rado theorem Existence theorem F Fundamental theorem of Riemannian geometry H Helly's theorem Heron's formula

H cont. Proof that holomorphic functions are analytic I Infinite descent Invalid proof K König's lemma L Proof of Leibniz formula 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 angular momentum Proof of mathematical induction Proof that 0.999... equals 1 Proof that 22/7 exceeds pi 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 Proof of Viète formula W Wallis product

Wikipedia (http://en.wikipedia.org/wiki/Main_Page) Category:Proofs (http://en.wikipedia.org/wiki/Category:Proofs) version history (http://en.wikipedia.org/w/index.php?title=Category:Proofs&action=history) GNU Free Documentation Lizenz (http://en.wikipedia.org/wiki/Wikipedia:Text_of_the_GNU_Free_Documentation_License) CC-by-sa (http://creativecommons.org/licenses/by-sa/2.5/)

---