Vuonna 1853 joulukuun 7. päivänä George Cantor kirjoitti Richard Dedekindille että reaalilukujen joukko ei ole numeroituva. Viisi päivää aikaisemmin hän oli kirjoittanut että hän "ei ollut koskaan vakavasti keskittynyt ongelmaan, koska sillä ei näyttänyt olevan mitään käytännön arvoa."
Dedekindin muistiinpanojen mukaan hän lähetti seuraavana päivänä Cantorin todistuksesta uuden version, joka oli yksinkertaisempi ja täsmällisempi. Kun Cantor oli kirjoittanut reaalilukujen joukon numeroituvuuden ongelmasta 29. marraskuuta, Dedekind vastasi olevansa kykenemätön ratkaisemaan ongelmaa, mutta samalla hän esitti ja todisti teoreeman algebrallisten numeroiden numeroitumattomuudesta.
Cantorista ja rationaalilukujen numeroituvuudesta olen aikaisemmin (2008) kirjoittanut seuraavassa linkissä ja Dedekindistä tässä linkissä.
Kuva: Wikipedia
Tekstit
Ei kommentteja:
Lähetä kommentti