"When the Löwenheim-Skolem theorem is applied to particular formal systems, we obtain as special cases: Every group, field, ordered field, etc., has a countable subsystem of the same type. A more spectacular result follows from applying the theorem to set theory (a system which we shall later formalize): There is a countable collection of sets, such that if restrict the membership relation to these sets alone, they form a model for set theory (more precisely all the true statements of set theory are true in this model). In particular, within this model which we may denote by M, there must be an uncountable set. This paradox, that a countable model can contain an uncountable set, is explained by noting that to say a set is uncountable merely asserts the nonexistence of a one-one mapping of the set with the set of integers. The "uncountable" set in M set actually has only countably many members in M, but there is no one-one correspondence \underline {within} M of this set with the set of integers."
Quote Details
Added by wikiquote-import-bot
Unverified quote
0 likes
Academics from the United StatesJews from the United StatesPeople from New JerseyMathematicians from the United StatesLogicians from the United States
Original Language: English
Available Languages (1)
Sources
Set theory and the continuum hypothesis, pp. 19–20
https://en.wikiquote.org/wiki/Paul_Cohen
Revision History
No revisions have been submitted for this quote.
Categories
Paul Cohen
Paul Joseph Cohen (April 2, 1934 – March 23, 2007) was an American mathematician and logician, best known for his proofs that the continuum hypothesis and the axiom of choice are independent from Zermelo–Fraenkel set theory, for which he was awarded a Fields Medal.
8 quotes on TrueQuotesView all quotes by Paul Cohen →
Related Quotes
"To the average mathematician who merely wants to know that his work is securely based, the most appealing choice is t…"
"However, in all honesty, I must say that one must essentially forget that all proofs are transcribed in this formal l…"
"The theorem of Löwenheim–Skolem was the first truly important discovery about formal systems in general, and it remai…"
"It is now known that the truth or falsity of the continuum hypothesis and other related conjectures cannot be determi…"
"The object of mathematics is to discover "true" theorems. We shall use the term "valid" to describe statements formed…"
"In 1963 P. J. Cohen completed Gödel's linguistic attack on set theory by introducing the immensely valuable, syntacti…"
"To him mathematics was a unified subject that one could master broadly. He had a deep understanding of most areas, an…"
"For him delicious flavors dwell In books as in old Muscatel."
"And in the evening, everywhere Along the roadside, up and down, I see the golden torches flare Like lighted street-la…"
"Song like a rose should be; Each rhyme a petal sweet; For fragrance, melody, That when her lips repeat The words, her…"