Category:Mathematical proofs
From HandWiki
Here is a list of articles in the Mathematical proofs category of the Computing portal that unifies foundations of mathematics and computations using computers.
This category includes articles on basic topics related to mathematical proofs, including terminology and proof techniques.
Related categories:
- Pages which contain theorems and their proofs should be placed in the subcategory Category:Articles containing proofs.
- Articles related to automatic theorem proving should be placed in Category:Automated theorem proving.
Subcategories
This category has the following 5 subcategories, out of 5 total.
Pages in category "Mathematical proofs"
The following 40 pages are in this category, out of 40 total.
*
C
L
P
- Probabilistic method
- Probabilistically checkable proof
- Proof by contradiction
- Proof by contrapositive
- Proof by exhaustion
- Proof by intimidation
- Proof of impossibility
- Proof sketch for Gödel's first incompleteness theorem
- Proof without words
- Proofs from THE BOOK
- Proofs of elementary ring properties
- Proofs That Really Count
