List Of Mathematical Proofs

Article Index for
List Of

Website Links For
List

Information About

List Of Mathematical Proofs

THEOREMS OF WHICH ARTICLES ARE PRIMARILY DEVOTED TO PROVING THEM

Bertrand's Postulate and A Proof

Estimation Of Covariance Matrices

Fermat's Little Theorem and Some Proofs

Gödel's Completeness Theorem and Its Original Proof

Mathematical Induction and A Proof

Proof That 0.999... Equals 1

Proof That 22/7 Exceeds π

Proof That E Is Irrational

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

Basel Problem

Bolzano-Weierstrass Theorem

Brouwer Fixed Point Theorem

Buckingham π Theorem (proof in progress)

Burnside's Lemma

Cantor's Theorem

Cantor–Bernstein–Schroeder Theorem

Cayley's Formula

Cayley's Theorem

Clique Problem (to do)

Compactness Theorem (very compact proof)

Erdős-Ko-Rado Theorem

Euler's Formula

Euler's Four-square Identity

Euler's Theorem

Five Color 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 (to do)

--- Green's theorem when D is a simple region

Heine-Borel Theorem

Intermediate Value Theorem

Itô's Lemma

König's Lemma

König's Theorem (to do)

Lagrange's Theorem

Liouville's Theorem (brief pointer to proof)

Markov's Inequality (proof of a generalization)

Mean Value Theorem

Multivariate Normal Distribution (to do)

Holomorphic Functions Are Analytic

Pythagorean Theorem

Quadratic Equation

Quotient Rule

Ramsey's Theorem

Rao-Blackwell Theorem

Rice's Theorem

Rolle's Theorem

Splitting Lemma

Squeeze Theorem

Sum Rule In Differentiation

Sum Rule In Integration

Sylow Theorem

Transcendence Of ''e'' And π (as corollaries of Lindemann-Weierstrass)

Tychonoff's Theorem (to do)

Ultrafilter Lemma

Ultraparallel Theorem

Urysohn's Lemma

Van Der Waerden's Theorem

Wilson's Theorem

Zorn's Lemma

ARTICLES DEVOTED TO ALGORITHMS IN WHICH THEIR CORRECTNESS IS PROVEN

Bellman-Ford Algorithm (to do)

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

Polynomial

Pumping Lemma

Simpson's Rule

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 (to do)

Counter

Angle Of Parallelism

Galois Group

--- Fundamental theorem of Galois theory (to do)

Gödel Number

--- Gödel's incompleteness theorem

Group (mathematics)

Halting Problem

--- insolubility of the halting problem

Harmonic Series (mathematics)

--- divergence of the (standard) harmonic series

Highly Composite Number

Area of Hyperbolic Sector , basis of Hyperbolic Angle

Infinite Series

--- convergence of the geometric series with first term 1 and ratio 1/2

Integer Partition

Irrational Number

--- irrationality of log₂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 (to do)

Solvable Group

Tetris

Algebra Of Sets

--- idempotent laws for set union and intersection

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