The general answer in the mathematical community has been negative. It then presents several highlights of 20th century mathematical logic, including theorems of godel and tarski, and cohens theorem on the independence of the continuum hypothesis. The url of the home page for a problem course in mathematical logic, with links to latex, postscript, and portable document format pdf les of the latest available. Chang, alfred horn, max zorn, and abraham robinson. The independence of the continuum hypothesis mathematical. But, although cantors set theory has now had a development of more than sixty years and the continuum problem is evidently of great importance for it, nothing has been proved so far relative to the question of what the power of the continuum is or whether its. In set theory, the powerset operation assigns to each set of cardinality. It must be either true or false, the mathematical logician kurt godel wrote in 1947, and its undecidability from the axioms as known today can only mean that these axioms do not contain a complete description of reality. The significance of a demand for constructive proofs can be evaluated only after a certain amount of experience with. Two classical surprises concerning the axiom of choice and the continuum hypothesis pdf. Sep 16, 2017 throughout the first half of the 20th century, mathematicians tried to resolve the continuum hypothesis by studying various infinite sets that appeared in many areas of mathematics. Nov 26, 20 the continuum hypothesis asserts that there is no infinity between the smallest kind the set of counting numbers and what it asserts is the secondsmallest the continuum. A proof of the relative consistency of the continuum hypothesis. Each area has a distinct focus, although many techniques and results are shared among multiple areas.
The book begins with an elementary introduction to formal languages and proceeds to a discussion of proof theory. Is the continuum hypothesis a definite mathematical problem. See also the references to the articles on the various branches of mathematical logic. Paul cohen was one of a new generation of american mathematicians inspired by the influx of european exiles over the war years. The arithmetical continuum aka the real numbers measurement numbers on a twoway in.
The selfcontained treatment includes background material in logic and axiomatic set theory as well as an account of kurt godels proof of the consistency of the. Download fulltext pdf turing determinacy and the continuum hypothesis article pdf available in archive for mathematical logic 283. Sets, models and recursion theory, proceedings of the summer school in mathematical logic and tenth logic colloquium, leicester, augustseptember 1965, edited by john n. Crossley, studies in logic and the foundations of mathematics, northholland publishing company, amsterdam, and humanities press, new york, 1967. We use the same notation as employed in reference 1. A unique feature of the text is a discussion of quantum logic.
This tag is also suitable, by extension, to refer to the. This is the first of two notes in which we outline a proof of the fact that the continuum hypothesis cannot be derived from the other axioms of set theory, including the axiom of choice. Mathematicians measure infinities, and find theyre equal. There is no set whose cardinality is strictly between that of the integers and the real numbers the continuum hypothesis was advanced by georg cantor in 1878, and establishing its truth or falsehood is the first of hilberts 23 problems presented in 1900. As was observed before, manins emphasis is on semantics, leaving to section 6 of the chapter a brief survey of the syntactic version of godels theory. Continuum hypothesis wikimili, the best wikipedia reader.
Clearly this is either true or false there either exists such a set, or there does not exist such a set. Turing determinacy and the continuum hypothesis springerlink. It must be either true or false, the mathematical logician kurt godel wrote in 1947, and its undecidability from the axioms as known today can only mean. See also the references to the articles on the various branches of. I highly recommend this intriguing and lively look at mathematical logic to readers with some familiarity with this rather formidable subject. The continuum hypothesis say that there is no set with cardinality between that of the reals and the natural numbers. The unifying themes in mathematical logic include the study of the expressive power of formal systems and the deductive power of formal proof systems. Solomon feferman, the continuum hypothesis is neither a definite mathematical problem nor a definite logical problem, harvard lectures 2011. Set theory and the continuum hypothesis dover books on. A cheerful introduction to forcing and the continuum. It presents not only an accessible technical explanation of the authors landmark proof but also a fine introduction to mathematical logic. Mathematical logic has a long tradition in the ucla mathematics department going back to the 1940s, with early faculty that included c. The continuum hypothesis and the axiom of choice were among the first mathematical statements shown to be independent of zf set theory.
He himself was a second generation jewish immigrant, but he was dauntingly intelligent and extremely ambitious. Propositional logic is a formal mathematical system whose syntax is rigidly specified. Although the continuum hypothesis ch in any of its. In this volume, the distinguished pdf mathematician offers an exposition of set theory and the continuum hypothesis that employs intuitive explanations as well as detailed proofs.
The independence of the continuum hypothesis is the focus of this study by paul j. This problem did not yield a solution within the framework of traditional settheoretical methods of solution. Arguments for and against the continuum hypothesis edit godel believed that ch is false, and that his proof that ch is consistent with zfc only shows that the zermelofraenkel axioms do not adequately. Is the continuum hypothesis a definite mathematical.
On the axiom of choice and the continuum hypothesis. Pdf turing determinacy and the continuum hypothesis. Questions about the continuum hypothesis, or where the continuum hypothesis or its negation plays a role. The logic and set theory lst group consists of brent cody, sean cox, and chris lambiehanson. Chapter iii treats the continuum hypothesis and forcing, and chapter iv godels proof of the consistency of the continuum hypothesis. Continuum hypothesis, statement of set theory that the set of real numbers the continuum is in a sense as small as it can be.
The exposition then moves to a discussion of computability theory. Each variable represents some proposition, such as you wanted it or you should have put a ring on it. Peano arithmetic, godels incompleteness theorems, natural incompleteness results, incompleteness and computability. The problem actually arose with the birth of set theory.
Logic and set theory virginia commonwealth university. This is an introduction to the settheoretic method of forcing, including its application in proving the independence of the continuum hypothesis from the zermelofraenkel axioms of set theory. Sep 12, 2017 continuum hypothesis foundations of mathematics infinity mathematical logic mathematics model theory set theory in a breakthrough that disproves decades of conventional wisdom, two mathematicians have shown that two different variants of infinity are actually the same size. In 1873 the german mathematician georg cantor proved that the continuum is uncountablethat is, the real numbers are a larger infinity than the counting numbersa key result in starting set theory as a mathematical. In 1874 cantor had shown that there is a onetoone correspondence.
In mathematics, the continuum hypothesis abbreviated ch is a hypothesis about the possible sizes of infinite sets. In 1963, paul cohen stunned the mathematical world with his new technique of forcing, which allowed him to solve several outstanding problems in set theory at a single stroke. Crossley, studies in logic and the foundations of mathematics, northholland publishing company, amsterdam, and humanities press, new york, 1967, pp. The unifying themes in mathematical logic include the study of the expressive power of formal systems and the deductive power of formal. Thecontinuumhypothesis peter koellner september 12, 2011 the continuum hypotheses ch is one of the most central open problems in set theory, one that is important for both mathematical and philosophical reasons.
Throughout the first half of the 20th century, mathematicians tried to resolve the continuum hypothesis by studying various infinite sets that appeared in many areas of mathematics. There is no set whose cardinality is strictly between that of the integers and the real numbers. Mathematical logic, also called logistic, symbolic logic, the algebra of logic, and, more recently, simply formal logic, is the set of logical theories elaborated in the course of the last nineteenth century with the aid of an artificial notation and a rigorously deductive method. Exploring the frontiers of incompleteness efi project, harvard 20112012 solomon feferman the analysis of the phrase how many unambiguously leads to a definite meaning for. Since godel 3 has shown that the continuum hypothesis is consistent with these axioms, the independence of the hypothesis is thus established. Moore, whose mathematical logic course convinced me that i wanted to do the stu, deserves particular mention.
If, on the one hand, one can build a picture of the mathematical universe in which it is true, and, on the other hand, if one can also build another universe in which it is false, it would essentially tell you that no information about the continuum hypothesis is lurking in the standard machinery of mathematics. A problem course in mathematical logic trent university. Every statement in propositional logic consists of propositional variables combined via logical connectives. Hilberts problems and contemporary mathematical logic. Paul cohen proved that the continuum hypothesis cannot be proven or disproven using the axioms of zfc. Perhaps most notably, he proved the independence of the continuum hypothesis chfromthezermelofraenkelchoicezfcaxiomsofsettheory. Perhaps most notably, he proved the independence of the continuum hypothesisch fromthe zermelofraenkelchoicezfcaxiomsofsettheory. Paul cohens 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 manins a course in mathematical logic is also remarkably excellent and is the first book to read after this one.
A course in mathematical logic for mathematicians, second edition offers a straightforward introduction to modern mathematical logic that will appeal to the intuition of working mathematicians. This exploration of a notorious mathematical problem is the work of the man who discovered the solution. An emeritus professor of mathematics at stanford university, dr. Variables and connectives propositional logic is a formal mathematical system whose syntax is rigidly specified. Since that time, mathematicians have built up two different mathematical worlds, one in which the continuum hypothesis applies and one in which it does not, and modern mathematical proofs must insert a statement declaring whether or not the result depends on the continuum hypothesis. This paper is a continuation of reference 1, in which we began a proof of the fact that the continuum hypothesis cannot be derived from the other axioms of set theory, including the axiom of choice. I was entirely new to the axiom of choice and the generalized continuum hypothesis. Topically, mathematical logic bears close connections to metamathematics, the foundations of mathematics, and theoretical computer science. Apparently, the continuum hypothesis cant be proved or disproved using the standard axioms of set theory.
The continuum hypothesis stanford encyclopedia of philosophy. Perhaps most notably, he proved the independence of the continuum hypothesischfromthezermelofraenkelchoicezfcaxiomsofsettheory. The forcing technique created by paul cohen during the sixties. For readers new to mathematical logic, i suggest that the following books might be better starting points.
Update a videotaped lecture the continuum hypothesis and the search for mathematical infinity by woodin from january 2015, with reference also to his changed opinion. Jun 08, 2015 the handbook of mathematical logic makes a rough division of contemporary mathematical logic into four areas. The continuum hypotheses ch is one of the most central open problems in set theory, one that is important for both mathematical and philosophical reasons. Mathematical logic project gutenberg selfpublishing. I want to begin by distinguishing mathematical problems in the direct, or ordinary sense from those in the indirect, or logical sense. This is a rough distinction, of course, but i think a workable one that is easily squared with experience.
Hilbert posed, in his celebrated list of problems, as problem 1 that of proving cantors continuum hypothesis the problem of the continuum. Mathematical logic is a subfield of mathematics exploring the applications of formal logic to mathematics. The continuum hypothesis is neither a definite mathematical. From the xixth century to the 1960s, logic was essentially mathematical. It bears close connections to metamathematics, the foundations of mathematics, and theoretical computer science. A course in mathematical logic for mathematicians yu. By sheer intelligence and force of will, he went on to garner for himself fame, riches and the top mathematical prizes. In the case of predicativity, consider systems in which quanti. From the hypothesis that all turing closed games are determined we prove. The continuum hypothesis asserts that there is no infinity between the smallest kind the set of counting numbers and what it asserts is the secondsmallest the continuum. The groups strengths over the years have been in model and set theory, and the foundations of mathematics. I presuppose no particular mathematical background beyond some familiarity with set theory and mathematical logic in particular, no algebra is presupposed, though it can be useful.
890 1690 489 203 501 37 464 854 1527 105 650 1094 649 197 540 699 239 916 603 30 1465 651 761 784 756 119 801 382 387 920 1087 1092 714