We shall see several examples in the next sections. We recall cantor s diagonalization proof of his eponymous theorem. Find out why cantors infinite set theory is hopelessly wrong. Georg cantor s set theory georg cantor s discoveries. Cantorian set theory and teaching prospective teachers. Life father, georg waldemar cantor, born in denmark, successful merchant, and stock broker in st petersburg. Equinumerous to use of set theory has been my dreams. With this background, section 4 analyzes cantor s philosophical and religious views as of 1870, and section 5 depicts the broader intellectual context at the time with special attention to the german debate on materialism. His parents moved the family to frankfurt, germany in 1856. The axiom of choice is equivalent to the statement every set can be wellordered. The celebrated creation of transfinite set theory by georg cantor has been studied in detail by historians of mathematics. So whereas cantor was once a mathematical heretic, his mathematical views have become mainstream.
Dauben 1992 argues that cantor s set theory is an example of a mathematical revolution. To allow flexibility of topic selection in courses, the book is organized into four relatively independent parts with distinct mathematical flavors. He revolutionized the foundation of mathematics with set theory. This chapter discusses cantor s paradox of the set all cardinals, and proves that in cantor s set theory every set of cardinal c originates at least 2c inconsistent infinite sets. Mathdl georg cantor at the dawn of pointset topology. A set s is countable also enumerable, denumerable if all of its elements can be put into a onetoone correspondence with the natural numbers n 1,2,3. No one shall expel us from the paradise that cantor has created for us we. The power set of a set is always of greater cardinality than the set itself. Cohc and reuben hrsh t he abstract theo of sets i5 cur rently in a state of change that ill meral wa. Histographical analysis in an application cantor set using a freelance math, you may also provide opportunities and. Although russells, a logician, praised of cantor too, he found cantor set theory was not complete, and he proposed a paradox in 1901. Cantor developed the theory of ordinal numbers which 80 extends the standard natural numbers n.
By doing this, cantor has dispelled the fundamental objections against perception of numbers as an infinite set at once. Set theory from cantor to cohen boston university arts. Set theory from cantor to cohen akihiro kanamori set theory is an autonomous and sophisticated. Basic set theory a set is a many that allows itself to be thought of as a one. An infinite set is merely a set with an infinite number of distinct elements. In 1856, because of fathers poor health, family moved to germany.
Cantor s grundlagen and the paradoxes of set theory w. The cantor set is an example of a perfect nowhere dense set, where a perfect set is a closed set with no isolated points and nowhere dense set is a set whose closure has an empty interior. Georg graduated from high school in 1860 with an outstanding report, which mentioned in par. In particular, every real number between zero and one is the. Replacement entails separation, and replacement and power together entail pairing. Pdf the actual infinity in cantors set theory george. Standard zermelofraenkel set theory zfc is defined as the 1storder deductive closure of the axioms of extensionality, union, power, infinity, replacement, regularity and choice.
There is a way to construct zero lebesgue measure cantor sets that consists in. Cantor paradoxes, possible worlds and set theory mdpi. Already by 1878 he had articulated the continuum problem. This view, from inside set theory and about itself, serves to shift the focus to handbook of the philosophy of science.
There is no such thing as an infinite set or a number written to infinite decimal digits. The axioms of zfc, zermelofraenkel set theory with choice extensionality. In dynamics and number theory, it is interesting and has important applica. Cantor s first set theory article contains georg cantor s first theorems of transfinite set theory, which studies infinite sets and their properties. We show that no function from an arbitrary set s to its power set. Aug 14, 2020 cantor s work between 1874 and 1884 is the origin of set theory. Foundations of a general theory of manifolds cantor, 1883, which i will refer to as the grundlagen,iscantors. A set that is not countable is said to be uncountable.
Cantor s original motivation was to give a new proof of liouvilles theorem that there are nonalgebraic real numbers1. It would be our endeavour to consider only some paradoxes on the primitive concept of set. Hilbert spok highly of cantor set theory and rated continuum hypothesis the top of the famous 23 probems at the 2nd icm in 1900. Cantorian set theory but do not agree on whether acceptance of set theory carries an ontological commitment to the actual infinite. The motives behind cantors set theory physical, biological. The axioms of zfc, zermelofraenkel set theory with choice. This accessible approach to set theory for upperlevel undergraduates poses rigorous but simple arguments. Cantor and dedekind maintained a fruitful correspondence, especially during the 1870s, in which cantor aired many of his results and speculations. A mapping, or function, is a rule that associates elements of one set with elements of another set. By inventing a notion of size of set he was able compare different forms of in nity and, almost incidentally, to shortcut several traditional. It was discovered in 1874 by henry john stephen smith and introduced by german mathematician georg cantor in 1883. David hilbert, a mathematician, describes georg cantor, the founder of the cantor set.
In mathematical logic, the theory of infinite sets was first developed by georg cantor. Georg cantor and set theory georg cantor 18451918 father, georg waldemar cantor, born in denmark, successful merchant, and stock broker in st petersburg. The cantor diagonal argument is illdefined, onetoone correspondence or a bijection between infinite sets is established improperly, proof by contradiction is misapplied to reach wrong conclusions. Georg cantor and the battle for transfinite set theory joseph w. There are according to cantorian set theory actually infinite sets of various sizes, each of a certain transfinite cardinality. The bulletin of symbolic logic volume2, number1, march 1996 the mathematical development of set theory from cantor to cohen akihiro kanamori. Two sets are equal if and only if they have the same elements. From traditional set theory that of cantor, hilbert, g. An ideal text for courses in real analysis, topology, algebra, and set theory. For example there are many examples of compact sets wh. Cantor s theory provides an infinite sequence of transfinite numbers and there is evidence that an unlimited number of cardinals larger than c, there is in reality.
In mathematics, the cantor set is a set of points lying on a single line segment that has a. Cantor as we have seen, the naive use of classes, in particular the connection betweenconceptandextension,ledtocontradiction. Throughout this paper, a special effort is made to place cantor s scienti. The set of natural numbers is a wellordered set, but the set of integers is not. Brief history and paradoxes on primitive notion of set. It has been shown that cantor paradoxes do not offer particular advantages for any modal theories. All the latter numbers are endpoints, and these examples are right limit points of c \displaystyle \mathcal c. Dec 17, 2018 cantor used the definition to improve his uniqueness theorem, by showing that the theorem holds even if the trigonometric series diverges at an infinite number of points, provided that the set of points is of finite order a point set p is of finite order if, for some integer n, the nth derivative p of p is a finite set. Thereafter, the family moved to germany, and cantor received his remaining education at darmstradt.
The cantor set is a meager set or a set of first category as a subset of 0,1 although not as a subset of itself, since it is a baire space. Set theory for computer science university of cambridge. Notes prepared by stanley burris march, 2001 set theory. A wide spectrum of topics from measure theory to the monty hall problem. Among his contributions to mathematics was the notion of the cantor set, which consists of points along a line segment, and possesses a number of fascinating properties. Through consideration of this set, cantor and others helped lay the foundations of modern point set topology. Cantors theorem joe roussos 1 preliminary ideas two sets have the same number of elements are equinumerous, or have the same cardinality iff there is a bijection between the two sets. We will show that in fact cantor s set has amuch larger cardinality i. Computer science, being a science of the arti cial, has had many of its constructs and ideas inspired by set theory. Hausdorff, set theory, third edition, chelsea, 1978. If there are an injection from a to band an injection from bto a, then there is a bijection from ato b. It was a separate printing, with a preface and some footnotes added. The cantor diagonal argument is illdefined, onetoone correspondence or a bijection between infinite sets is established improperly, proof by contradiction is misapplied to reach wrong conclusions, irrational numbers may not exist, the axiom of power set and cantor s theorem are invalid, the irrationals are countable, and the cantor set is a. This chapter will be devoted to understanding set theory, relations, functions.
Set theory is now considered so fundamental that it seems to border on the obvious but at its introduction it was controversial and revolutionary. This textbook presents classical set theory in an intuitive but concrete manner. This will take us through several mathematical disciplines. It has been and is likely to continue to be a a source of fundamental ideas in computer science from theory to practice. An introduction to elementary set theory mathematical association. Correct a wide spread conclusion of cantor set theory. Cantor set arithmetic, the american mathematical monthly, 126. Cantor demonstrated that there is a hierarchy of infinities, each one jarger than the preceding one. These are the simplest examples of regular or dynamically defined. Warrants a question and develop their papers as at the issues that. Georg cantor, the founder of set theory, considered by many as one of the most original minds in the history of mathematics, was born in st. He was born in saint petersburg, russia, where he lived until he was eleven. An introduction to elementary set theory guram bezhanishvili and eachan landreth 1 introduction in this project we will learn elementary set theory from the original historical sources by two key gures in the development of set theory, georg cantor 18451918 and richard dedekind 18311916. Georg cantor in the previous chapters, we have often encountered sets, for example, prime numbers form a set, domains in predicate logic form sets as well.
Cantor s theorem implies that there are sets having cardinality greater than the infinite cardinality of the set of natural numbers. The early development of set theory stanford encyclopedia. Applications of the universal surjectivity of the cantor set. Cantor set theory by thomas mcclure i introduction this is a paper about cantor set.
Pdf the mathematical development of set theory from. George cantor may be said the father of set theory but later on his set theory gave birth to many paradoxes contradictions. Chapter coverage of fractals and selfsimilar sets, sums of cantor sets, the role of cantor sets in creating pathological functions, padic numbers, and several generalizations of cantor sets. Although this work has become a thoroughly standard fixture of classical set theory, it has been criticized in several areas by mathematicians and philosophers.
In 1874 cantor had shown that there is a onetoone correspondence between the natural numbers and the algebraic numbers. Noncantorian set theorv the university of new mexico. If the set has n elements of the power set has 2 n cantor by considering all the possible subsets of the set of integers, was able to prove that 2. While the cantor set is important to set theory, it plays an important role in other areas of mathematics, such as fractals. Set theory had been generally accepted by us in the 20th century. For complete biographical information, see daubens definitive work 11. For those of you new to abstract mathematics elementary does not mean simple though much of the material.
Cantor s set is uncountable we already know that cantor s set is in nite. The problem actually arose with the birth of set theory. Unfortunately, we cannot assume that q t is greater than. Measure theoretic dimension theory provides a fundamental tool to classify sets. One of these theorems is his revolutionary discovery that the set of all real numbers is uncountably, rather than countably, infinite. Cantor set c as the closed interval with the union of these i0 n s subtracted out. No one had realized that set theory had any nontrivial content. A revised and corrected republication of set theory, originally published in 1971 by addisonwesley publishing company, reading, massachusetts. Georg cantor and the origins of transfinite set theory. Cantor on infinity in nature, number, and the divine mind. His set theory is one of the cornerstones of mathematics the nature of the infinite has always been a controversial topic. Cantor entered the wiesbaden gymnasium at the age of. The set of all objects x which satisfy the condition x is an irrational.
Origin of set theory the idea of infinity has been a. Georg cantor and the origins of transfinite set theory how jarge is an infinite set. Noncantorian set theorv iii 1963 it was proved that a celebrirted mathematical h. In papers of 1873 and 1874, georg cantor outlined the basics of infinite set theory. Part i begins with the dedekindpeano axioms and ends with the construction of the real numbers. Set theory basic set theory stanford encyclopedia of. In papers of 1873 and 1874, georg cantor outlined the basics of in. For any set x, let px denote the power set of x, i. Introduction recent developments in concrete set theory 3 have raised the question of whether. Georg cantor s achievement in mathematics was outstanding.
Set theory \a set is a many that allows itself to be thought of as a one. Cantor pinted out that even for in hit wts it rnakes sense to tak about the numhr of elements in the set, ox at. However, cantor soon began researching set theory for its own sake. Set theory is the mathematical theory of welldetermined collections, called. George cantor 18451918 was the originator of much of modern set theory.
So tao is the set of dl the points on a pvm line segment. For any set, there is no function mapping its members onto all its subsets. Cantor started the branch of mathematics called set theory, which investigates sets or collections of objects. Georg cantor the man who founded set theory biography georg cantor 18451918 the german georg cantor was an outstanding violinist, but an even more outstanding mathematician. Cantor took the idea of set to a revolutionary level, unveiling its true power. However, it has generally been overlooked that his research program cannot be adequately explained as an outgrowth of the mainstream mathematics of his day. The same cannot be said for cantor s metaphysics, which remains somewhat obscure and esoteric. It is called the cantor ternary set after georg cantor, one of the. The cantor set thus demonstrates that notions of size in terms of cardinality, measure, and baire category need not coincide.
A few elementary examples are the set of natural numbers. In the end of the 19th century, cantor formulated an infinite sets theory in which he defined an infinite set as a set, comparable via 11 correspondence with one of its proper subsets. Georg cantor this chapter introduces set theory, mathematical induction, and formalizes the notion of mathematical functions. We will now characterize all wellorderings in terms of ordinals. Set theory is indivisible from logic where computer science has its roots. Also, notice the end points of the intervals at each step are always in the set however, we will see they are not the only points left in the set. The cantor set is an interesting example of an uncountable set of measure zero and has many interesting properties and consequences in the fields of set theory, topology, and fractal theory. Prior to cantor s time, 1 was mainly a metaphor used by theologians not a precisely understood mathematical concept a source of paradoxes, disagreement, and confusion 2. Although cantor himself defined the set in a general, abstract way, the most common modern construction is the cantor ternary set. The nature of infinity, and beyond cantors paradise. Set theory with an introduction to real point sets.
1128 243 277 969 1322 978 644 17 1450 1800 1734 676 65 1428 849 853 132 1599 774 347 379