<<Up
Contents
List of mathematical proofs
Redirected from
List of proofs
Wikipedia contains a number of articles with
mathematical proofs
:
Table of contents
1 Theorems of which articles are exclusively devoted to proving them
2 Articles devoted to theorems of which a (sketch of a) proof is given
3 Articles devoted to algorithms of which their correctness is proven
4 Articles where example statements are proven
5 Other articles containing proofs
6 Articles which mention dependencies of theorems
7 Articles giving mathematical proofs within a physical model
8 Other related articles
Theorems of which articles are exclusively devoted to proving them
Bertrand's postulate
and
a proof
Fermat's little theorem
and
some proofs
Gödel's completeness theorem
and
its original proof
Mathematical induction
and
a proof
Proof that the sum of the reciprocals of the primes diverges
Articles devoted to theorems of which a (sketch of a) proof is given
Banach-Tarski paradox
Bolzano-Weierstrass theorem
Brouwer fixed point theorem
Buckingham Pi theorem
(proof in progress)
Burnside's lemma
Cantor-Bernstein-Schroeder theorem
Cayley's Theorem
Clique problem
(todo)
Compactness theorem
(very compact proof)
Euler's formula
Euler's four-square identity
Euler's theorem
Five lemma
Fundamental theorem of arithmetic
Gauss-Markov theorem
(brief pointer to proof)
Gödel's incompleteness theorem
Gödel's first incompleteness theorem
Gödel's second incompleteness theorem
Goodstein's theorem
Green's theorem
(todo)
Green's theorem when D is a simple region
Heine-Borel theorem
Intermediate value theorem
Ito's Lemma
König's lemma
König's theorem
(todo)
Lagrange's theorem
Liouville's theorem
(brief pointer to proof)
Markov's inequality
(proof of a generalization)
Mean value theorem
Multivariate normal distribution
(todo)
Pythagorean theorem
Quadratic formula
Quotient rule
Ramsey's theorem
Rice's theorem
Rolle's theorem
Splitting lemma
Sum rule in differentiation
Sum rule in integration
Sylow theorem
Tychonoff's theorem
(todo)
Ultrafilter Lemma
Urysohn's Lemma
Van der Waerden's theorem
Wilson's theorem
Zorn's lemma
Articles devoted to algorithms of which their correctness is proven
Bellman-Ford algorithm
(todo)
Euclidean algorithm
Kruskal's algorithm
Prim's algorithm
Shor's algorithm
(incomplete)
Articles where example statements are proven
Basis (linear algebra)
Burrows-Abadi-Needham logic
Generating a vector space
Linear independence
Naive set theory
Polynomial
Pumping lemma
Simpson's rule
Vector space example 1
Vector space example 2
Vector space example 3
Other articles containing proofs
Addition in N
associativity of addition in N
commutativity of addition in N
uniqueness of addition in N
Algorithmic information theory
Boolean ring
commutativity of a boolean ring
Boolean satisfiability problem
NP-completeness of the Boolean satisfiability problem
Calculus with polynomials
Cantor's diagonal argument
set is smaller than its power set
uncountability of the real numbers
Combinatorics
Combinatory logic
Co-NP
Coset
Countable
countability of a subset of a countable set (todo)
Counter
Galois group
Fundamental theorem of Galois theory (todo)
Group (mathematics)
Halting problem
insolubility of the halting problem
Harmonic series (mathematics)
divergence of the (standard) harmonic series
Highly composite number
Infinite series
convergence of the geometric series with first term 1 and ratio 1/2
Integer partition
Irrational number
irrationality of log
2
3
irrationality of the square root of 2
Limit point
Mathematical induction
sum identity
Prime number
Infinitude of the prime numbers
Primitive recursive function
Principle of bivalence
no propositions are neither true nor false in intuitionistic logic
Recursion
Relational algebra
(todo)
Solvable group
Tetris
Articles which mention dependencies of theorems
Cauchy's integral formula
Cauchy integral theorem
Computational geometry
Fundamental theorem of algebra
Lambda calculus
Invariance of domain
Minkowski inequality
Nash embedding theorem
Open mapping theorem
Product topology
Riemann integral
Time hierarchy theorem
Deterministic time hierarchy theorem
Articles giving mathematical proofs within a physical model
No cloning theorem
Proof of angular momentum
Other related articles
Gödel's ontological proof
Invalid proof
wikipedia.org
dumped 2003-03-17 with
terodump