Browse By

Impossibility Theorem

Statement form sorts theorems by the shape of the claim they make, such as an equation, an inequality or an existence statement. Wikipedia states Fermat's Last Theorem as the claim "that there are no positive integers a, b, c, n with n greater than 2 such that a to the n plus b to the n equals c to the n," a negative existence claim rather than a formula to compute with. This dimension groups theorems that make the same kind of mathematical statement.

45 entries

Branch

Topic Area

Proved

Proved By

Named After

Abel-Ruffini Theorem

Angle Trisection

Antidynamo Theorem

Arrow's Impossibility Theorem

Aumann's Agreement Theorem

Bell's Theorem

Borde-Guth-Vilenkin Theorem

Bruck-Ryser-Chowla Theorem

Church's Theorem

Clausius Theorem

Cohen's Independence Theorem

Coleman-Mandula Theorem

Duggan-Schwartz Theorem

Elitzur's Theorem

Entscheidungsproblem

Erdos-Anning Theorem

Gentzen's Consistency Proof

Gibbard-Satterthwaite Theorem

Godel's Incompleteness Theorems

Greibach's Theorem

Haag's Theorem

Hairy Ball Theorem

Holmstrom's Theorem

Kochen-Specker Theorem

Liberal Paradox

McKelvey-Schofield Chaos Theorem

Mermin-Wagner Theorem

Myerson-Satterthwaite Theorem

No Free Lunch Theorem

No-Cloning Theorem

Paris-Harrington Theorem

Rice's Theorem

Richardson's Theorem

Scallop Theorem

Solovay's Theorem

Sonnenschein-Mantel-Debreu Theorem

Tarski's Undefinability Theorem

Tennenbaum's Theorem

Time Hierarchy Theorem

Trakhtenbrot's Theorem

Turing's Proof

Ugly Duckling Theorem

Undecidability of the Halting Problem

Wedderburn's Little Theorem

Wiles's Proof of Fermat's Last Theorem