Cantor's diagonal argument: Difference between revisions

Revision as of 12:38, 5 September 2023

Revision as of 12:43, 5 September 2023

Line 5:

[[File:Aplicación 2 inyectiva sobreyectiva02.svg|right|thumb|250px|An [[infinite set]] may have the same [[cardinality]] as a proper [[subset]] of itself, as the depicted [[bijection]] ''f''(''x'')=2''x'' from the [[natural numbers|natural]] to the [[even numbers]] demonstrates. Nevertheless, infinite sets of different cardinalities exist, as Cantor's diagonal argument shows.]]

In [[set theory]], '''Cantor's diagonal argument''', also called the '''diagonalisation argument''', the '''diagonal slash argument''', the '''anti-diagonal argument''', the '''diagonal method''', and '''Cantor's diagonalization proof''', was published in 1891 by [[Georg Cantor]] as a [[mathematical proof]] that there are [[infinite set]]s which cannot be put into [[bijection|one-to-one correspondence]] with the infinite set of [[natural number]]s.<ref name="Cantor.1891">{{cite journal|author=Georg Cantor |title=Ueber eine elementare Frage der Mannigfaltigkeitslehre |journal=[[Jahresbericht der Deutschen Mathematiker-Vereinigung]] |volume=1 |pages=75–78 |year=1891|url=https://www.digizeitschriften.de/dms/img/?PID=GDZPPN002113910&physid=phys84#navi}} English translation: {{cite book |editor-last=Ewald |editor-first=William B. |title=From Immanuel Kant to David Hilbert: A Source Book in the Foundations of Mathematics, Volume 2 |publisher=Oxford University Press |pages=920–922 |year=1996 |isbn=0-19-850536-1}}</ref><ref name="Simmons1993">{{cite book|author=Keith Simmons| author-link=Keith Simmons (philosopher)| title=Universality and the Liar: An Essay on Truth and the Diagonal Argument|url=https://books.google.com/books?id=wEj3Spept0AC&pg=PA20|date=30 July 1993|publisher=Cambridge University Press|isbn=978-0-521-43069-2}}</ref>{{rp|20–}}<ref name="Rubin1976">{{cite book|last1=Rudin|first1=Walter|title=Principles of Mathematical Analysis|date=1976|publisher=McGraw-Hill|___location=New York|isbn=0070856133|page=[https://archive.org/details/principlesofmath00rudi/page/30 30]|edition=3rd|url-access=registration|url=https://archive.org/details/principlesofmath00rudi/page/30}}</ref> Such sets are now known as [[uncountable set]]s, and the size of infinite sets is now treated by the theory of [[cardinal number]]s which Cantor began. However, Cantor did not show that given the set of real numbers, that it would or would not be possible to find a natural number to pair with each real number. (i.e. transitive property)

The diagonal argument was not Cantor's [[Cantor's first uncountability proof|first proof]] of the uncountability of the [[real number]]s, which appeared in 1874.<ref>{{Citation |surname=Gray|given=Robert|year=1994 |url=http://www.maa.org/sites/default/files/pdf/upload_library/22/Ford/Gray819-832.pdf |title=Georg Cantor and Transcendental Numbers|journal=[[American Mathematical Monthly]]|volume=101|issue=9|pages=819–832 |doi=10.2307/2975129|jstor=2975129}}</ref><ref name="Bloch2011">{{cite book|last1=Bloch|first1=Ethan D.|title=The Real Numbers and Real Analysis|url=https://archive.org/details/realnumbersreala00edbl|url-access=limited|date=2011|publisher=Springer|___location=New York|isbn=978-0-387-72176-7|page=[https://archive.org/details/realnumbersreala00edbl/page/n458 429]}}</ref>