cerkalo
» » Set Theory and the Continuum Hypothesis

Set Theory and the Continuum Hypothesis download ebook

by Paul J. Cohen

Set Theory and the Continuum Hypothesis download ebook
ISBN:
0805323279
ISBN13:
978-0805323276
Author:
Paul J. Cohen
Publisher:
Addison-Wesley (August 1, 1966)
Language:
Pages:
154 pages
ePUB:
1809 kb
Fb2:
1398 kb
Other formats:
lrf azw mobi lit
Category:
Mathematics
Subcategory:
Rating:
4.6

Cohen, Paul . 1934-. Books for People with Print Disabilities. Internet Archive Books. Uploaded by Lotu Tii on July 16, 2014.

Cohen, Paul . Set theory, Logic, Symbolic and mathematical. SIMILAR ITEMS (based on metadata). Terms of Service (last updated 12/31/2014).

THE INDEPENDENCE OF THE CONTINUUM HYPOTHESIS AND THE AXIOM OF CHOICE 107 1. Introduction . These fundamental difficulties, often dismissed by mathematicians, make the independence of the continuum hypothesis less surprising. 2 general background in logic ch. Introduction 107 2. Intuitive Motivation 109 3. The Forcing Concept 113 4. The Main Lemmas 118. 5. Definability of Forcing 120 6. The Model N 121 7. The General Forcing Concept 127 8. The Continuum Hypothesis 129 9. The Axiom of Choice I36 10. Changing Cardinalities 143 1. I Gauss seems to have been the first mathematician to have expressed doubts about too free a use of infinities.

In 1964 Paul Cohen proved that if you assumed the Hypothesis was false, you did not contradict formal set theory either. And so he shows that in the context of set theory the Continuum Hypothesis is unprovable

In 1964 Paul Cohen proved that if you assumed the Hypothesis was false, you did not contradict formal set theory either. And so he shows that in the context of set theory the Continuum Hypothesis is unprovable. What is now the way forward? Cohen thinks that one day we will feel the Hypothesis is obviously false. He underlines the word "obviously". This means that set theory will have to be perfected, perhaps by adding a single simple axiom that is "obvious" and that results, as a consequence, in a proof that the Hypothesis is false

It states: The continuum hypothesis was advanced by Georg Cantor in 1878, and establishing its truth or falsehood is the first of Hilbert's 23 problems presented in 1900

Continuum Hypothesis as a Model-Theoretical Problem. Jaakko Hintikka - unknown. Weak Forms of the Axiom of Choice and the Generalized Continuum Hypothesis.

Continuum Hypothesis as a Model-Theoretical Problem. Kenneth Kunen - 1970 - Journal of Symbolic Logic 35 (4):591-592. Is the Continuum Hypothesis True, False, or Neither? David J. Chalmers - manuscript. The Power-Set Theorem and the Continuum Hypothesis: A Dialogue Concerning Infinite Number. Arthur L. Rubin & Jean E. Rubin - 1993 - Mathematical Logic Quarterly 39 (1):7-22. The Independence of the Continuum Hypothesis. Paul Cohen - 1963 - Proc.

SET THEORY AND THE CONTINUUM HYPOTHESIS Paul J. Cohen Stanford University W. A. BENJAMIN, INC. New York 1966 Amsterdam SET . 21, 1966; this volume was published on September 16, 1966 W. Benjamin, Inc, New York, New York 10016 ‘PREFACE The notes that follow are based on a course given at Harvard Uni- versity, Spring 1965. he main objective was to give the proof of the independence of the continuum hypothesis.

Paul J. Cohen, Martin Davis. This exploration of a notorious mathematical problem is the work of the man who discovered the solution. The independence of the continuum hypothesis is the focus of this study by Paul J. Cohen

Paul J. Cohen. An emeritus professor of mathematics at Stanford University, Dr. Cohen won two of the most prestigious awards in mathematics: in 1964, he was awarded the American Mathematical Society's Bôcher Prize for analysis; and in 1966,. Cohen: Set Theory and the Continuum Hypothesis. 8. Löwenheim-Skolem Theorem Revisited. Chapter III. The Consistency of the Continuum Hypothesis and the Axiom of Choice. 2. Proof of Theorem 1. 3. Absoluteness. 4. Proof of AC and GCH in L. Relations with GB. 6. The Minimal Model. Chapter IV. The Independence of the Continuum Hypothesis and the Axiom of Choice.

Start by marking Set Theory and the Continuum Hypothesis as Want to. .well i'm going to read this book again in the near future to get a more complete grasp on all the topics

Start by marking Set Theory and the Continuum Hypothesis as Want to Read: Want to Read savin. ant to Read. well i'm going to read this book again in the near future to get a more complete grasp on all the topics. i read it too slowly! school got in the way. still, though its only 150 pages this book contains an astounding amount of, uh, good theorems and shit. would like if it was typeset using LaTeX, but hey i'm.

This exploration of a notorious mathematical problem is the work of the man who discovered the solution. Written by an award-winning professor at Stanford University, it employs intuitive explanations as well as detailed mathematical proofs in a self-contained treatment. This unique text and reference is suitable for students and professionals. 1966 edition. Copyright renewed 1994.
Reviews:
  • Steelcaster
As a work of science, "Set Theory and the Continuum Hypothesis" stands on a par with Darwin's "On the Origin of Species". First, like Darwin's book, Cohen's work is a profound contribution to its field; second it is also accessible to any educated and interested reader, although with some effort.

This edition is a reproduction of the first edition. You might be shocked by the type-this is a plain, typewritten document with no illustrations (I find it charming)-but Paul Cohen's crystal clear prose makes the book eminently readable.

=WHAT YOU NEED=

This is a graduate level book but you don't need to be a graduate student in mathematics to understand it. You do need a laymen's interest in mathematics; for instance you should enjoy reading Euclid, Ian Stewart, Douglas Hoftstadter, Martin Gardner. If you've enjoyed Douglas Hofstadter's "Gödel, Escher, and Bach" then there is no reason you can't understand this book.

=WHAT IT DELIVERS=

First, Cohen gives a barebones but complete introduction to formal logic and logical notation.

Then he describes formal set theory, known as Zemerlo Frankel set theory, the foundation of all mathematics as it stands today.

Having spent half the book on the necessary background, Cohen arrives to his main topic, the Continuum Hypothesis and whether it is true or false.

=WHAT COHEN SAYS=

ST&CH proves that a long standing problem in mathematics (the Continuum Hypothesis) has no solution. What does this mean?

Most mathematicians believe in a scaled down version of Hilbert's Programme. Hilbert hoped that all of mathematics followed from a small collection of definitions and axioms, much like all of geometry was once believed to follow from Euclid's five axioms. Formal set theory, as defined by Zemerlo and Frankel, seemed to provide all the axioms needed for this task. However Kurt Gödel proved that the programme is impossible to realize: any formal system will have propositions that are possible to state but impossible to prove. In other words, no set of axioms can completely define all of mathematics.

Paul Cohen proved that the Continuum Hypothesis is one such statement. But what is this hypothesis? It's about cardinal numbers. A cardinal is a property of a set; specifically it says how many elements there are in a set. For example, the cardinal for the set of all positive odd integers smaller than ten is five because the set {1, 3, 5, 7, 9} has five elements in it.

What about infinite sets? The simplest infinite set we know is the set of Natural Numbers, call it N, and N={1,2,3, ...} . N has an infinite number of elements. What about if we add zero as an element and call the new set N*? Do we get a bigger set? In one way, N* is "bigger" than N because it has all the elements N has but it also has an extra element, "0". But that's not the right way to think about big or small when we talking about sets. We want to know if the cardinal of N* is bigger than the cardinal of N. It isn't.

It's easy to see this. Let's create a new set made up of all the possible ways of writing words with the letter "a" and call this set A. Well, obviously A={a, aa, aaa, aaaa, aaaa, ....}. Now it's obvious that A does not contain N or N*, and vice versa. But can we say A is smaller than or bigger than or the same size as N or N*? Yes we can. Let's start with the natural numbers N. We can say 1 is the first element of N, that 2 is the second element of N, that 3 is the third, and so on. Likewise, we can say a is the first element of A, aa is the second element of A, aaa, is the third, and so on.

Now, bear with me here. We can also say that 0 is the first element of N*, 1 is the second element of N*, 2 is the third element of N*, and so on. So A, N, and N* seem to all have an infinite number of elements that can all be listed, or put in a one-to-one correspondence with each other. They are of the same size, they have the same cardinal, and we call that cardinal number Aleph Null (א is a Hebrew letter). We also say that sets with cardinal Aleph Null are countable, because we can count all their elements one after the other.

The set of positive and negative whole numbers, Z, is also countable. We think of Z={..., -2, -1, 0, 1, 2, 3,...} but we can also write Z={0, 1,-1, 2, -2, 3, -3,...} and it's now easy to see that Z is countable. Surprisingly, the set of all rational numbers (Q, the set of all fractions and whole numbers) is also countable. A rational number is a ratio of two whole numbers, a/b where b is never 0. We can certainly list all pairs of whole numbers in a set called P={(0,1), (1,1), (0,-1), (1,-1),(-1,1), (-1, -1), (0,2),(1,2),(2,2),(-1,2),...}. Since many of these pairs reduce to the same thing, for example (1,2) and (2,4) are both the same as 0.5, Q is a subset of P. So if P is countable, Q is countable.

But what about other numbers? The set of real numbers, called R, is the set of all numbers that can be represented by a point on a line. All the rational numbers (Q) can be represented by a point on a line, but there are many numbers on the line that are not rational. The square root of two or Pi are two famous examples. Are all the numbers on the line countable? It turns out that they are NOT countable. No matter how you list them, you will always find a number that cannot fit anywhere in the list you made. The set R is not countable, so we say it is uncountable.

It is in this sense that we say the set of Real Numbers is bigger than the set of Natural Numbers. We say that the cardinal of R is Aleph One. The Continuum Hypothesis states that there are no cardinals between Aleph Null and Aleph One; that there is no such thing as a set that is bigger than the Natural Numbers but smaller than the Real Numbers.

We owe the above discoveries to a nineteenth century German mathematician named Georg Cantor. He first stated the Continuum Hypothesis and he spent years trying unsuccessfully to prove it. In the 1930s, Kurt Gödel proved that if you assumed that the Hypothesis was true, you did not contradict formal set theory.

In 1964 Paul Cohen proved that if you assumed the Hypothesis was false, you did not contradict formal set theory either. And so he shows that in the context of set theory the Continuum Hypothesis is unprovable.

What is now the way forward? Cohen thinks that one day we will feel the Hypothesis is obviously false. (He underlines the word "obviously".) This means that set theory will have to be perfected, perhaps by adding a single simple axiom that is "obvious" and that results, as a consequence, in a proof that the Hypothesis is false. But with the same humility we find in Darwin, he leaves the problem for future generations to solve.

Vincent Poirier, Montreal
  • Braendo
Brilliant analysis that includes Cohen's fundamental re-envisioning of the structure of proof. Besides the basic introduction to set theory, this book assembles Cohen's work on "forcing," a method of interpreting models that redefined the idea of mathematical infinity. The Kindle edition is well executed. Anyone with even a casual interest in formal logic needs to have this book on their (virtual) book shelf.
  • Quashant
This has been one of my favorite books over the years. Copies were hard to get. There was one at a library near my former workplace, which, unintuitively enough, was an Army post; I am not sure how c = aleph_1 applies to Army logistics. I checked it out and read sections of this book. When I retired in 2005, I still had the book and renewed it by email. Eventually the Army wanted it back, so I mailed it back, and so I no longer had the book. I am glad to see, then, that Dover reprinted the book, and so once again I have it. It is a classic work. In it Cohen presents his proof that c = aleph_1 cannot be proved in normal (ZFC) set theory, by introducing a technique he calls "forcing". He also explains many other parts of set theory as well.
  • Goltikree
Paul Cohen's "Set Theory and the Continuum Hypothesis" is not only the best technical treatment of his solution to the most notorious unsolved problem in mathematics, it is the best introduction to mathematical logic (though Manin's "A Course in Mathematical Logic" is also remarkably excellent and is the first book to read after this one).
Although it is only 154 pages, it is remarkably wide-ranging, and has held up very well in the 37 years since it was first published. Cohen is a very good mathematical writer and his arrangement of the material is irreproachable. All the arguments are well-motivated, the number of details left to the reader is not too large, and everything is set in a clear philosophical context. The book is completely self-contained and is rich with hints and ideas that will lead the reader to further work in mathematical logic.
It is one of my two favorite math books (the other being Conway's "On Numbers and Games"). My copy is falling apart from extreme overuse.
  • 6snake6
The mathematics content deserves a 6 star rating. It was a good surprise to find in this classic of Cohen such a fine exposition, clear and magnificently structured... The poor rating of 2 stars I'm giving it's due to the appalling editing and formating: Amazon should actually be sued for selling a book on mathematics like this. Displayed formulas come in a small type and light gray almost impossible to read, since it doesn't respond to the enlargement option (I had to use a magnifying lens) and the mistakes are too many, with formulas placed at wrong places, maths symbols transformed into strange combination of characters in the main text (as Pi_i in a displayed list of formulas, which became a few lines down &8;i as if the editing had been done by someone who doesn't know any mathematics... Since the exposition is so good it was always possible to spot the errors and made for them, but it will not be the case in other maths books, where unsolvable confusion may be given to the reader...