At the heart of set theory is a hall of mirrorsthe paradoxical infinity. This is really a generalization of cantor s proof, given above. Cantors set is uncountable we already know that cantors set is in nite. Given a point set p, cantor defined the set of all its limit points as p. The continuum hypothesis stanford encyclopedia of philosophy. Cantor developed a systematic and coherent theory of infinite sets. Cantor to the creation of set theory and to its justi. Satan, cantor, and infinity and other mindboggling puzzles book. Pdf infinity and the mind download full pdf book download. We will show that in fact cantors set has amuch larger cardinality i. 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. Cantor set is the infinite intersection of each in, c contains the endpoints of each such subinterval, and is clearly nonempty. Pdf the celebrated of transfinite set theory by georg cantor has been studied in. With his infectious curiosity and trademark verbal pyrotechnics, david foster wallace takes us from aristotle to newton, leibniz, karl weierstrass, and finally georg cantor and his set.
Georg graduated from high school in 1860 with an outstanding report, which mentioned in par. New york times part history, part philosophy, part love letter to the study of mathematics, everything and more is an illuminating tour of infinity. This is my last lecture of this academic year and the title is cantors infinities and i am going to introduce you to some marvellous ideas about infinity that were developed by georg cantor it is sometimes said that because cantor asked and then answered questions that had. The origins of cantors infinity, aleph null, the diagonal argument the natural infinity, continuum the mathematical infinity a first classification of sets three notable examples of. The cantor set acquires a very important role in many branches of mathematics, mainly in set theory and fractal theory 9, 10. Cantors attempt to apply pointset theory to nature.
Of course, any uncountable set is still much bigger than any countable set like the counting numbers, so it seems unfair to lump them together. Life father, georg waldemar cantor, born in denmark, successful merchant, and stock broker in st petersburg. Cantor is the founder of the branch of mathematics called set theory, which is at the foundation of much of 20th century mathematics. Hence the fractal dimension of the cantor set is d log2 log3. In 1856, because of fathers poor health, family moved to germany. Pdf the actual infinity in cantors set theory george mpantes. The set of limit points of p constituted the second derived set p2, etc. The actual infinity aristotlecantor, potential infinity. So, one of these weeks, well show that the cantor set is different than a countable set. This new set of even numbers has exactly one element for every element in the first set, and thus the two are equivalent in size.
February 19 1845 january 6, 1918 was a german mathematician. In fact, you can multiply or divide that first set by any integer to obtain a new listable infinity. Although the cantor set is defined in a general manner, the. Georg cantor department of mathematics vanderbilt university. Cantor demonstrated that infinite numbers exist, and that some are, contrary to intuitive expectations, bigger than other infinite numbers. The cantor set is selfsimilar, consisting of n 2 congruent subsets, each when magni. Georg cantor was known to have said, i see it, but i. The cantor ternary set is created by repeatedly deleting the open middle thirds of a set of line segments. Cantor on infinity in nature, number, and the divine mind.
Csntor history and philosophy of logic 1 v rated it liked it aug 17, roland philosophia 38 1. Cantors first proof that infinite sets can have different. By producing an arithmetic of transfinite quantities that described an actual infinity and thus infinities of different sizes, cantor forced a revision of nea rly all mathematical thought on the subject of infinity. Lecture 22 cantor and cantorlike sets contd waterloo fractal. This is really a generalization of cantors proof, given above. Cantors famous continuum hypothesis ch is the statement that 2. The origins of cantor s infinity, aleph null, the diagonal argument the natural infinity, continuum the mathematical infinity a first classification of sets three notable examples of. Cantor s attempt to apply point set theory to nature. The nature of infinity and beyond cantors paradise. Cantors actualism went against the aristotelian tradition in metaphysics and mathematics. For any set s let 2s denote the set of subsets of s.
An exploration of the cantor set rosehulman scholar. Though gutberlet was one of germanys leading neothomists, 90 he was by no means the only philosopher of the catholic church who was interested in cantor s mathematics. The seven pages follow the latin text of the definitions of part i of. Cantor realized that the same principle can be applied to infinite sets, and discovered that no matter what set you start with, any attempt to form a onetoone matchup of the elements of the set to the subsets of the set must leave some subset unmatched the proof uses a technique that cantor originated called diagonalization, which is a form of proof by contradiction. If a set is too large to be put in onetoone correspondence with the positive integers, it is called uncountable. Georg cantors theory of actual infinity was revolutionary to mathematics. Cantor took this notion much further, showing that infinite sets come in an infinite number of sizes. Hardegree, infinite sets and infinite sizes page 6 of 16 4. In elementary set theory, cantors theorem is a fundamental result which states that, for any set, the set of all subsets of the power set of, denoted by has a strictly greater cardinality than itself. George cantor 18451918 was the originator of much of modern set theory. By the way it is constructed, an infinite number of intervals whose. In papers of 1873 and 1874, georg cantor outlined the basics of in.
C, then there exists a finite or infinite sequence of. Since the cantor set is totally disconnected, it has topological dimension 0. Foundations of a general theory of manifolds cantor, 1883, which i will refer to as the grundlagen,iscantors. In infinity and the mind, rudy rucker leads an excursion to that stretch of the universe he calls the mindscape, where he explores infinity in all its forms. This is a special case of the generalized continuum hypothesis gch which asserts that for all. We take it as obvious that n has n elements, and also that the empty set. Cantors set theory was controversial at the start, but later became largely accepted. Set theory from cantor to cohen akihiro kanamori set theory is an autonomous and sophisticated. The actual infinity aristotle cantor, potential infinity. Pdf the motives behind cantors set theory physical, biological. Pdf the actual infinity in cantors set theory george.
Cantor used the definition to improve his uniqueness theorem, by showing that the theorem holds even if the trigonometric series diverges at. Cantors definition of a set by a set we are to understand any collection into a whole m of definite and separate objects m of our intuition or our thought. He created set theory, which has become a fundamental theory in mathematics. In particular, there have been objections to its use of infinite sets. It was a separate printing, with a preface and some footnotes added. Le sue teorie hanno suscitato a suo tempo molte critiche, anche aspre. His mathematics and philosophy of the infinite, 280. Josie rated it it was amazing jan 08, mathematics, the kabbalah, and the search for infinity. A set was said to be of the first species so long as pn was empty for some finite value of n. The mathematician georg cantor strongly believed in the existence of actually infinite numbers and sets.
A set is infinite if and only if it is equi pollent with some proper subset of itself. For finite sets, cantors theorem can be seen to be true by simple enumeration of the number of subsets. He was born in saint petersburg, russia, where he lived until he was eleven. The limit set consists of all points that are never thrown away, and this is the cantor set k. Cantors grundlagen and the paradoxes of set theory w. At each step, we delete the open middle third subinterval of each interval obtained in the previous step. Recent years have brought a number of his magical books of logic and math puzzles. The smallest ordinal infinity is that of the positive integers, and any set which has the cardinality of the integers is countably infinite. Prior to cantors time, 1 was mainly a metaphor used by theologians not a precisely understood mathematical concept a source of paradoxes, disagreement, and confusion 2.
The set of rationals and the set of reals have different transfinite cardinality. Cantor s set is the set c left after this procedure of deleting the open middle third subinterval is performed in nitely many times. He showed that infinite subsets of the natural numbers such as the set of perfect squares can be put into one to one. The cantor ternary set is interesting in mathematics because of the apparent paradoxes of it. A gripping guide to the modern taming of the infinite. 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. Counting the empty set as a subset, a set with members has a total of subsets, so.
A mathematically precise description of the same procedure can be given as follows. Georg cantor and the origins of transfinite set theory. Cantor counted among his correspondents tillman pesch, thomas esser, joseph hontheim, and ignatius jeiler. This is nonsense and a confusion about the metaphysical status of numbers, which ill get into later. Simply take the set of natural numbers, and multiply each entry by two. Satan, cantor, and infinity and other mindboggling puzzles. The german georg cantor was an outstanding violinist, but an even more outstanding mathematician. Every countable set has length, or measure, zero, but uncountable sets can have length zero as well. According to modern set theory, originally conceived by georg cantor, alephnull is the smallest size of infinity. We write cardinality of an abstract set a by a and say that a. Mathematicians think there are different actual sizes of infinite sets. Cantor established the importance of onetoone correspondence between the members of two sets. Pdf cantor on infinity in nature, number, and the divine.
520 1232 1113 1339 1309 663 1174 560 71 1034 467 434 967 821 1068 1452 1058 212 75 414 857 516 982 731 1355 1040 655 1063 699 140 938 104 1320 1094 1264 1436 1272 1477 1247 126 216