Ero sivun ”Cantorin diagonaaliargumentti” versioiden välillä

[arvioimaton versio][arvioimaton versio]
Poistettu sisältö Lisätty sisältö
pEi muokkausyhteenvetoa
Rivi 1:
'''Cantorin diagonaaliargumentti''' on [[Georg Cantor]]in esittämäilmeisesti jo vuonna 1891esittämä [[matemaattinen todistus]] sille, että [[reaaliluvut|reaalilukujen]] joukko ei ole [[numeroituva joukko|numeroituvasti ääretön]] vaan [[ylinumeroituva joukko|ylinumeroituva]].
 
Diagonaaliargumentti ei ollut Cantorin ensimmäinen todistus reaalilukujen ylinumeroituvuudelle, vaan se julkaistiin kolme vuotta hänen ensimmäisen todistuksensa jälkeen. Osoitus siitä, että reaalilukujen joukko on jossain mielessä "suurempi" kuin [[rationaaliluku]]jen joukko johtaa kysymykseen, onko olemassa joukkoa, jonka [[mahtavuus]] olisi näiden joukkojen mahtavuuksien välissä. Tämä ongelma tunnetaan myös [[kontinuumihypoteesi]]na.