"The Axiom of Choice is necessary to select a set from an infinite number of pairs of socks, but not an infinite number of pairs of shoes [...] Among boots we can distinguish right and left, and therefore we can make a selection of one out of each pair, namely, we can choose all the right boots or all the left boots; but with socks no such principle of selection suggests itself, and we cannot be sure, unless we assume the multiplicative axiom, that there is any class consisting of one sock out of each pair. [...] There is no difficulty in doing this with the boots. The pairs are given as forming an ℵ0, and therefore as the field of a progression. Within each pair, take the left boot first and the right second, keeping the order of the pair unchanged; in this way we obtain a progression of all the boots. But with the socks we shall have to choose arbitrarily, with each pair, which to put first; and an infinite number of arbitrary choices is an impossibility. Unless we can find a rule for selecting, i.e. a relation which is a selector, we do not know that a selection is even theoretically possible."
Quote Details
Added by wikiquote-import-bot
Unverified quote
0 likes
Original Language: English
Available Languages (1)
Sources
Imported from EN Wikiquote
https://en.wikiquote.org/wiki/Axiom_of_choice
Revision History
No revisions have been submitted for this quote.
Categories
Axiom of choice
5 quotes on TrueQuotesView all quotes by Axiom of choice →
Related Quotes
"The axiom gets its name not because mathematicians prefer it to other axioms."
": A. K. Dewdney from the famous April Fools' Day article in the computer recreations column of the Scientific America…"
"The axiom of choice is obviously true, the well-ordering principle obviously false, and who can tell about Zorn's lemma?"
": {{citation"
"This is as I have said in my Arithmetic:—The area of a circle is equal to the product of the circumference by one-fou…"
"Multiply the arc by the square of the arc, and take the result of repeating that [any number of times]. Divide [each …"
"The method represents a best approximation algorithm of minimal length that, owing to several minimization properties…"
"The process of reasoning called "Mathematical Induction" has had several independent origins. It has been traced back…"
"This method is supreme above all praise; it is certainly the finest thing accomplished in number theory before Lagrange."
"A sphere is a solid figure described by the revolution of a semicircle about its diameter, which remains fixed.The ax…"