|
In mathematical logic, specifically set theory, Skolem's paradox is a direct result of the (downward) Löwenheim-Skolem theorem, which states that every model of a sentence of a first-order language has an elementarily equivalent countable submodel. Mathematical logic is a discipline within mathematics, studying formal systems in relation to the way they encode intuitive concepts of proof and computation as part of the foundations of mathematics. ...
Set theory is the mathematical theory of sets, which represent collections of abstract objects. ...
In mathematical logic, the classic Löwenheim-Skolem theorem states that any infinite model M has a countably infinite submodel N that satisfies exactly the same set of first-order sentences that M satisfies. ...
An abstract model (or conceptual model) is a theoretical construct that represents physical, biological or social processes, with a set of variables and a set of logical and quantitative relationships between them. ...
In mathematics, specifically model theory, two models of a language are said to be elementarily equivalent if their theories are the same; that is, any sentence satisfied by one model is also satisfied by the other. ...
In mathematics the term countable is used to describe the size of a set, i. ...
The paradox is seen in Zermelo-Fraenkel set theory. One of the earliest results, published by Georg Cantor in 1874, was the existence of uncountable sets, such as the powerset of the natural numbers, the set of real numbers, and the well-known Cantor set. These sets exist in any Zermelo-Fraenkel universe, since they follow directly from the axioms. Using the Löwenheim-Skolem Theorem, we can get a model of set theory which only contains a countable number of objects. However, it must contain the fore-mentioned uncountable sets, which appears to be a contradiction. However, the sets in question are only uncountable in the sense that there does not exist within the model a bijection from the natural numbers onto the sets. It is entirely possible that there is a bijection outside the model. Robert Boyles self-flowing flask fills itself in this diagram, but perpetual motion machines cannot exist. ...
Set theory is a branch of mathematics created principally by the German mathematician Georg Cantor at the end of the 19th century. ...
Georg Cantor Georg Ferdinand Ludwig Philipp Cantor (March 3, 1845, St. ...
1874 (MDCCCLXXIV) was a common year starting on Thursday (see link for calendar). ...
In mathematics, an uncountable set is a set which is not countable. ...
In mathematics, given a set S, the power set of S, written P(S) or 2S, is the set of all subsets of S. In formal language, the existence of power set of any set is presupposed by the axiom of power set. ...
Natural number can mean either a positive integer (1, 2, 3, 4, ...) or a non-negative integer (0, 1, 2, 3, 4, ...). Natural numbers have two main purposes: they can be used for counting (there are 3 apples on the table), or they can be used for ordering (this is...
Please refer to Real vs. ...
The Cantor set, introduced by German mathematician Georg Cantor, is a remarkable construction involving only the real numbers between zero and one. ...
In epistemology, an axiom is a self-evident truth upon which other knowledge must rest, from which other knowledge is built up. ...
Broadly speaking, a contradiction is an incompatibility between two or more statements, ideas, or actions. ...
In mathematics and related technical fields, the term map or mapping is often a synonym for function. ...
Is it a paradox?
The "paradox" is viewed by most logicians as something puzzling, but not a paradox in the sense of being a logical contradiction (i.e., a paradox in the same sense as the Banach–Tarski paradox rather than the sense in Russell's paradox). Timothy Bays has argued in detail that there is nothing in the Löwenheim-Skolem theorem, or even "in the vicinity" of the theorem, that is self-contradictory. The Banach–Tarski paradox: A ball can be decomposed and reassembled into two balls the same size as the original. ...
Russells paradox (also known as Russells antinomy) is a paradox discovered by Bertrand Russell in 1901 which shows that the naive set theory of Frege is contradictory. ...
However, some philosophers, notably Hilary Putnam and the Oxford philosopher A.W. Moore, have argued that it is in some sense a paradox. Hilary Whitehall Putnam (born July 31, 1926) is a key figure in the philosophy of mind during the 20th century. ...
The difficulty lies in the notion of "relativism" that underlies the theorem. Skolem says: Albert Thoralf Skolem (May 23, 1887 - March 23, 1963) was a Norwegian mathematician. ...
- In the axiomatization "set" does not mean an arbitrarily defined collection; the sets are nothing but objects that are connected with one another through certain relations expressed by the axioms. Hence there is no contradiction at all if a set M of the domain B is nondenumerable in the sense of the axiomatization; for this means merely that within B there occurs no one-to-one mapping of M onto Z0 (Zermelo's number sequence). Nevertheless there exists the possibility of numbering all objects in B, and therefore also the elements of M, by means of the positive integers; of course, such an enumeration too is a collection of certain pairs, but this collection is not a "set" (that is, it does not occur in the domain B).
Moore (1985) has argued that if such relativism is to be intelligible at all, it has to be understood within a framework that casts it as a straightforward error. This, he argues, is Skolem's Paradox. In mathematics, an uncountable or nondenumerable set is a set which is not countable. ...
If Skolem's explanation is true, ideas such as countability and uncountability are inherently relative. Our belief that the power set of the natural numbers, P(w), as uncountable, is correct, but must be understood relative to our own current "viewpoint". From another viewpoint this set may in fact be countable. But then it should be possible to make this relativisation explicit. We can do so this only so far as our discourse about sets is intelligible as about a particular collection of objects to which such claims must be relativized. But this in turn is not possible unless we endorse the error that there is a set containing all the sets we mean to talk about.
"When it is claimed that P(w) is not unconditionally uncountable, we have no way of understanding this except as the demonstrably false claim that it is not uncountable at all."
We cannot view P(w) from two different points of view at once; that would be incoherent. Nor can we view it simply from this point of view, then the supposed relativity is unintelligible. "But if it were possible to view it from an absolute standpoint, then relativism itself would lose its rationale and there could be no objection to saying that P(w) contained all of w's subsets and that it was unconditionally uncountable."
Quotes Zermelo at first declared the Skolem paradox a hoax. In 1937 he wrote a small note entitled "Relativism in Set Theory and the So-Called Theorem of Skolem" in which he gives a refutation of "Skolem's paradox", i.e. the fact that Zermelo-Fraenkel set theory --guaranteeing the existence of uncountably many sets-- has a countable model. Other authorities on set theory also found the result astounding. - At present we can do no more than note that we have one more reason here to entertain reservations about set theory and that for the time being no way of rehabilitating this theory is known. (John von Neumann)
- Neither have the books yet been closed on the antinomy, nor has agreement on its significance and possible solution yet been reached. (Abraham Fraenkel)
- I believed that it was so clear that axiomatization in terms of sets was not a satisfactory ultimate foundation of mathematics that mathematicians would, for the most part, not be very much concerned with it. But in recent times I have seen to my surprise that so many mathematicians think that these axioms of set theory provide the ideal foundation for mathematics; therefore it seemed to me that the time had come for a critique. (Skolem)
John von Neumann in the 1940s. ...
Adolf Abraham Halevi Fraenkel (February 17, 1891 - October 15, German / Israeli mathematician. ...
Albert Thoralf Skolem (May 23, 1887 - March 23, 1963) was a Norwegian mathematician. ...
References - van Dalen, Dirk and Heinz-Dieter Ebbinghaus, "Zermelo and the Skolem Paradox", The Bulletin of Symbolic Logic Volume 6, Number 2, June 2000.
- Moore, A.W. "Set Theory, Skolem's Paradox and the Tractatus", Analysis 1985, 45.
External links |
Feeds |
Contact