Cantor’s Diagonal Argument. Recall that • A set S is finite iff there is a bijection between S and {1, 2,,n} for some positive integer n, and infinite otherwise. Not too long ago, while surfing the TV channels, you could lean back, press the remote, and suddenly you found a show about Georg Cantor (pronounced. The Cantor diagonal method, also called the Cantor diagonal argument or Cantor’s diagonal slash, is a clever technique used by Georg Cantor to show that the.

Author: Kagakus Zulkikinos
Country: Guyana
Language: English (Spanish)
Genre: Personal Growth
Published (Last): 28 March 2017
Pages: 138
PDF File Size: 8.88 Mb
ePub File Size: 11.67 Mb
ISBN: 891-8-70935-988-8
Downloads: 68020
Price: Free* [*Free Regsitration Required]
Uploader: Dot

A generalized form of the diagonal argument was used by Cantor to prove Cantor’s theorem: To constructiviststhe argument shows no more than that there is no bijection between the natural numbers and T. Numbers from mathematics have symbolic definitions.

What book are your reading? Hints help you try the next step on your own. Home Questions Tags Users Unanswered.

It explains beforehand for example that the set of odd positive is infinitely viagonalization because it has a one to one correspondence with the natural numbers, which makes sense. A list that can be shown to be larger than the list of integers is called uncountably infinitewhile lists that are the same size as the integers are countably infinite.

Either way, every real number I can ever encounter can be expressed finitely, either by a finite description of defining equations or a finite precision real-world measurement.

Russell’s paradox Suslin’s problem Burali-Forti paradox.

This proof is discussed in Joseph DaubenGeorg Cantor: Why are we doing any of this? By using our site, you acknowledge that you have read and understand our Cookie PolicyPrivacy Policyand our Terms of Service. Diagonalizations Everywhere It is not clear that I care how many real numbers there are.

It just seems like you chose random numbers to put on that little table you made. It feels like sleight of hand, some kind of trick. Walk through homework problems step-by-step from beginning to end. By using this site, you agree to the Terms of Use and Privacy Policy.


What in the world is any of this trying to get at? The lists [1, 2, 3] and [x, y, z] are the same size because I can pair them up [ 1, y diagonalizagion, 2, x3, z ].

Cantor’s Diagonal Argument

Note that there is a similarity between the construction of T and the set in Russell’s paradox. The Emperor’s New Mind: In particular, the cardinality of the real numberswhich can be shown to be isomorphic towhere is the set of natural numbers, is larger than the cardinality of. It is not to be confused with matrix diagonalization. Based on this theorem, Cantor then uses a proof canntor contradiction to show that:. Peter LeFanu Lumsdaine 5, 4 18 Any real number can be represented as an integer followed by a decimal point and an infinite sequence of digits.

Cantor Diagonalization

This contradiction implies that the original assumption is false. Put these eventually-constant strings in the sequence: The proof starts by assuming that T is countable. Then it explains why the positive rational numbers are countable, which is slightly more confusing but still makes sense.

On the other hand, if s is not in Tthen by definition of Ts is in f sso again T is not equal to f s ; cf. And if they have finite expressions, then they are countable. This result implies that the notion of the set of all sets is an inconsistent notion. Also, by using a method of construction devised by Cantor, a bijection will be constructed between T and R. The argument is often presented as a proof by contradiction, but it can be presented more directly, which I think makes it a bit clearer: Then the new number is such that it is different from the first number at the first digit, from the second element at the second digit and so on.

Cantor diagonal argument is an argument to prove that set of real numbers is uncountable. Arash How are you determining what digits each of those numbers are? Next, a sequence s is constructed by choosing the 1st digit as complementary to the 1st digit of s 1 swapping 0 s for 1 s and vice versathe 2nd digit as complementary to the 2nd digit of s 2the 3rd digit as complementary to the 3rd digit of s 3and generally for every nthe n th digit as complementary to the n th digit of s n.


One way to arrange the proof is to assume that such a list can be given, and derive from that a contradiction by showing that the list does not really list all the numbers. By construction, s differs from each s nsince their n th digits differ highlighted in the example. Explore thousands of free applications across science, mathematics, engineering, technology, business, art, finance, social sciences, and more.

But recall that just means that the list of positive integers is no larger than the list of integers. By Cantor diagonal argument. I wish people would get over that silly idea that you can explain everything to a five year old.

Why do we have to create a “new real number”? Diagonalization arguments are often also the source of contradictions like Russell’s paradox [7] [8] and Richard’s paradox.

If you do, it might help if you explained your understanding of the terms in your question, that would give us a starting point.

What is a countable set? For every s in Seither s is in T or not. Arash 9, 2 15 Concerning Computers, Minds, and the Laws of Physics. The above proof fails for W. This is what my book says:. Russell’s Paradox has shown us that naive set theorybased on an unrestricted comprehension scheme, is contradictory.