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: Muramar Malara
Country: Morocco
Language: English (Spanish)
Genre: Love
Published (Last): 14 January 2006
Pages: 274
PDF File Size: 16.26 Mb
ePub File Size: 13.59 Mb
ISBN: 886-2-81180-659-2
Downloads: 2862
Price: Free* [*Free Regsitration Required]
Uploader: Nagis

For example, the conventional proof of the unsolvability of the halting problem is essentially a diagonal argument. Georg Cantor presented several proofs duagonalization the real numbers are larger.

This question already has an answer here: What is a countable set? Diagonalization is so common there are special terms for it.

A generalized form of the diagonal argument was used by Cantor to prove Cantor’s theorem: See diagonalization disambiguation for several other uses canfor the term in mathematics. Since is a bijection, diwgonalization must exist an element of such that. In NF, the naive axiom scheme of comprehension is modified to avoid the paradoxes by introducing a kind of “local” type theory.

On the other hand, we might try to create a modified diagonal argument by noticing that.


Jahresbericht der Deutschen Mathematiker-Vereinigung — By “explain this to me as if I was a 5 year old” do you mean that we should start by explaining what the words “countable” and “uncountable” mean, or do you already understand the meaning of those words?

This page was last edited on 11 Decemberat So are you saying that the number 0. Universality and the Liar: Therefore, T is uncountable. By Cantor diagonal argument. If is an infinite set, then is a bigger infinite set. This question leads to the famous continuum hypothesis.

Cantor’s diagonal argument

For instance look at the following: Why are we doing any of this? Hence, s cannot occur in the enumeration. When all is said and done, a proof is just a social construct, a particular kind of persuasive argument.

Collection of teaching and learning tools built by Wolfram education experts: Analogues of the diagonal argument are widely used in mathematics to prove the dantor or nonexistence of certain objects. It is not clear that I care how many diagomalization numbers there are. What in the world is any of this trying to get at?

Cantor’s Diagonal Proof

But then the way the real numbers uncountability is explained just seems so much more difficult than the other explanations. Mon Dec 31 For every s in Seither s is in T or not.

Since there is a bijection between the countably infinite subsets that have been removed, combining the two bijections produces a bijection between the original sets. This yields a contradiction, so there cannot exist a bijection from to. The proof starts by assuming that T is countable.


Home Questions Tags Users Unanswered. Numbers from mathematics have symbolic definitions. Cantor diagonal argument construct such a real number which is not counted. The number z above is a real number between 0 and 1 and is not paired with any positive integer. From Wikipedia, the free encyclopedia. If I can pair them such that everything in list A has a pair in list Bbut not vice-versa, then A is no larger than Bbut it might still be the same size if diagonalizatino lists are infinite.

Contact the MathWorld Team.

Comparing infinite lists

By using our site, you acknowledge that you have read and understand our Cookie PolicyPrivacy Policyand our Terms of Service. It feels like sleight of hand, some kind of trick. And I’m sorry diagonnalization. That means that some member T of P Si. More simply, there are more problems than there are solutions. Cantor’s point is that the real numbers cannot be so listed.