Gadong Taohy


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: Arajar Kigara
Country: Mexico
Language: English (Spanish)
Genre: Travel
Published (Last): 27 September 2018
Pages: 198
PDF File Size: 9.87 Mb
ePub File Size: 11.33 Mb
ISBN: 221-2-29448-427-6
Downloads: 91566
Price: Free* [*Free Regsitration Required]
Uploader: Fenrir

Russell’s Paradox has shown us that naive set theorybased on an unrestricted comprehension scheme, is contradictory.

The Real Numbers and Real Analysis. For a more complete account of this proof, see Cantor’s theorem.

Diagonalizations Everywhere It is not clear that I care how many real numbers there are. Applying the previous theorem to this enumeration produces a sequence s not belonging to the enumeration. Every argument is argument for something.

Any real number can be represented as an integer followed by a decimal point and an infinite sequence of digits. Since there is a bijection between the countably infinite subsets that have been removed, combining the two bijections produces a bijection between the fantor sets. That means that some member T of P Si. By using our site, diagonalisation acknowledge that you have read and understand our Cookie PolicyPrivacy Policyand our Terms of Service.


Instead of mapping This function will be modified to produce a bijection between T and R. Let’s say a set is countable if we can start ordering the elements of a set like the first, the second and so on.

Comparing infinite lists

By Cantor diagonal argument. This proof proceeds as follows:. From Immanuel Kant to David Hilbert: The majority of theoreticians in the world seem to accept it; indeed, not accepting it can earn a diagonailzation of ridicule.

So here are the diagonalizwtion Cantor’s diagonal method applies to any setfinite or infinite. Finding an injection is trivial, as can be seen by considering the function from to which maps an element of to the singleton set.

The Emperor’s New Mind: Referenced on Wolfram Alpha: Concerning Computers, Minds, and the Laws of Physics.

Cantor’s diagonal argument

But by the definition ofthe set contains if and only if does not contain. 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 result implies that the notion of the set of all sets is an inconsistent notion. Arash diagonalizationn, 2 15 Thus, if one of our pairings was 17, 0. Arash How are you determining what digits each of those numbers are?


To prove that reals are uncountable we first assume the contrary, namely that set of reals is countable. Collection of diagonalizayion and learning tools built by Wolfram education experts: The diagonal argument was not Cantor’s first proof of the uncountability of the real numberswhich appeared in Similarly, the question of whether there exists a set whose cardinality is between S and P S for some infinite S leads to the generalized continuum hypothesis.

Cantor Diagonalization — Math Fun Facts

This question already has an answer here: Set of real numbers is uncountable. Now we need to show that diagonalizagion pairings of infinite sequences of digits to integers of necessity leaves out some infinite sequences of digits. At first blush the list of integers appears to be larger than the list of positive integers since I can pair all the positives and leave all the negatives unpaired. Can somebody explain to me Cantor’s diagonalization argument?