In mathematics, an impossibility theorem is a theorem that demonstrates a problem or general set of problems cannot be solved. These are also known as proofs of impossibility, negative proofs, or negative results. Impossibility theorems often resolve decades or centuries of work spent looking for a solution by proving there is no solution. Proving that something is impossible is usually much harder than the opposite task, as it is often necessary to develop a proof that works in general, rather than to just show a particular example.[1] Impossibility theorems are usually expressible as negative existential propositions or universal propositions in logic.
The irrationality of the square root of 2 is one of the oldest proofs of impossibility. It shows that it is impossible to express the square root of 2 as a ratio of two integers. Another consequential proof of impossibility was Ferdinand von Lindemann's proof in 1882, which showed that the problem of squaring the circle cannot be solved[2] because the number π is transcendental (i.e., non-algebraic), and that only a subset of the algebraic numbers can be constructed by compass and straightedge. Two other classical problems—trisecting the general angle and doubling the cube—were also proved impossible in the 19th century, and all of these problems gave rise to research into more complicated mathematical structures.
Some of the most important proofs of impossibility found in the 20th century were those related to undecidability, which showed that there are problems that cannot be solved in general by any algorithm, with one of the more prominent ones being the halting problem. Gödel's incompleteness theorems were other examples that uncovered fundamental limitations in the provability of formal systems.[3]
In computational complexity theory, techniques like relativization (the addition of an oracle) allow for "weak" proofs of impossibility, in that proofs techniques that are not affected by relativization cannot resolve the P versus NP problem.[4] Another technique is the proof of completeness for a complexity class, which provides evidence for the difficulty of problems by showing them to be just as hard to solve as any other problem in the class. In particular, a complete problem is intractable if one of the problems in its class is.
^Pudlák, pp. 255–256.
^Weisstein, Eric W. "Circle Squaring". mathworld.wolfram.com. Retrieved 2019-12-13.
^Raatikainen, Panu (2018), "Gödel's Incompleteness Theorems", in Zalta, Edward N. (ed.), The Stanford Encyclopedia of Philosophy (Fall 2018 ed.), Metaphysics Research Lab, Stanford University, retrieved 2019-12-13
^Baker, Theodore; Gill, John; Solovay, Robert (1975). "Relativizations of the P=?NP Question". SIAM Journal on Computing. 4 (4): 431–442. doi:10.1137/0204037. Retrieved 2022-12-11.
and 25 Related for: Proof of impossibility information
known as proofs of impossibility, negative proofs, or negative results. Impossibility theorems often resolve decades or centuries of work spent looking...
Impossibility theorem could refer to: Proofofimpossibility, a negative proofof a theory Arrow's impossibility theorem in welfare economics This disambiguation...
changes W {\displaystyle W} by the sum of two odd numbers, which is even, completing the proof. Another way of looking is that, at the start, 2 cups are...
"The Algebra of Geometric Impossibility: Descartes and Montucla on the Impossibilityof the Duplication of the Cube and the Trisection of the Angle". Centaurus...
Evidence of absence in general, such as evidence that there is no milk in a certain bowl Modus tollens, a logical proofProofofimpossibility, mathematics...
Look up impossibility in Wiktionary, the free dictionary. Impossibility may refer to: Epistemic impossibility, in modal logic a statement that cannot...
Proof theory is a major branch of mathematical logic and theoretical computer science within which proofs are treated as formal mathematical objects,...
element of the universe (or sometimes, by convention, a restricted subset such as propositions) to form an infinite set of inference rules. A proof system...
its original proof Mathematical induction and a proofProof that 0.999... equals 1 Proof that 22/7 exceeds π Proof that e is irrational Proof that π is irrational...
family of functions whose learnability in EMX is undecidable in standard set theory. Decidability (logic) Entscheidungsproblem Proofofimpossibility Unknowability...
next one (the step). — Concrete Mathematics, page 3 margins. A proof by induction consists of two cases. The first, the base case, proves the statement for...
every proof can, in principle, be constructed using only certain basic or original assumptions known as axioms, along with the accepted rules of inference...
In logic, proof by contradiction is a form ofproof that establishes the truth or the validity of a proposition, by showing that assuming the proposition...
principle that for every system the correctness of a property follows from the impossibilityof the impossibilityof this property" (Brouwer, ibid, p. 335). This...
In mathematics, a proof by infinite descent, also known as Fermat's method of descent, is a particular kind ofproof by contradiction used to show that...
objects in proof theory. The ontological status of mathematical objects has been the subject of investigation and debate by philosophers of mathematics...
inference of going from a conditional statement into its logically equivalent contrapositive, and an associated proof method known as § Proof by contrapositive...
of positive or negative content in the claim. A negative claim may or may not exist as a counterpoint to a previous claim. A proofofimpossibility or...
mathematics, the range of a function may refer to either of two closely related concepts: the codomain of the function, or the image of the function. In some...
by way of examples that explain with formal proof and models of interpretation. A sentence is said to be a logical consequence of a set of sentences...
use of this fact forms the basis of a proof technique called proof by contradiction, which mathematicians use extensively to establish the validity of a...
March 2023). Fragments of First-Order Logic. Oxford University Press. ISBN 978-0-19-196006-2. B. Trakhtenbrot. The impossibilityof an algorithm for the...
mathematical function Mathematical induction – Form of mathematical proof Mise en abyme – Technique of placing a copy of an image within itself, or a story within...
set theory, the aleph numbers are a sequence of numbers used to represent the cardinality (or size) of infinite sets that can be well-ordered. They were...