En dat is helaas niet ondubbelzinnig en al helemaal niet helder...
Je beweert dat je niet zegt dat Cantor ongelijk had, maar ondertussen beweer je wel dat je alle reeele getallen tussen 0 en 1 in een tabel kunt zetten. Deze twee beweringen zijn tegenstrijdig. Als Cantor gelijk had dan is het onmogelijk om alle reeele getallen tussen 0 en 1 in een tabel te zetten.
Hij beweert dat alle reële getallen er in staan, omdat hij ook de getallen die op 'de oneindigste plaats' staan meetelt. Dat is dus een kwestie van definitie.
Nee, dat is niet een kwestie van definitie (tenzij je natuurlijk wilt beargumenteren dat alles een kwestie van definitie is, maar dat lijkt me niet heel zinnig). Het is onmogelijk om een (oneindig grote) tabel te maken met daarin alle reeele getallen. Met andere woorden beweert hij dat er een bijectie mogelijk is tussen
\(\rr\)
en
\(\nn^2\)
. Aangezien er een bijectie mogelijk is tussen
\(\nn\)
en
\(\nn^2\)
beweert hij dus impliciet dat er een bijectie is tussen
\(\rr\)
en
\(\nn\)
. Dit zou betekenen dat Cantor ongelijk zou hebben.
Overigens is het al diverse malen aangegeven waarom de redenatie niet werkt. De tabel bevat simpelweg niet alle reeele getallen tussen 0 en 1 (er ontbreken zelfs 'meer' getallen dan dat er in de tabel staan).
EvilBro schreef: ↑di 04 mar 2014, 09:39
Nee, dat is niet een kwestie van definitie (tenzij je natuurlijk wilt beargumenteren dat alles een kwestie van definitie is, maar dat lijkt me niet heel zinnig).
Nouja, okee, ik overdrijf inderdaad door te zeggen dat het puur een definitie kwestie is. Ik bedoel alleen te zeggen dat hij blijkbaar niet accepteert dat een getal dat 'op de oneindigste plaats' staat in feite gewoon niet in de lijst staat.
Het is dus een beetje een welles-nietes discussie.
Jij zegt: "getal x staat niet in de lijst"
hij zegt: "jawel, getal x staat op de oneindigste plek in de lijst"
Uiteraard ben ik het volledig met je eens dat volgens alle gangbare definities een getal zoals 1/3 niet in de lijst staat. En bovendien zullen eventuele alternatieve definities waarschijnlijk tot enorme problemen leiden.
Het is dus een beetje een welles-nietes discussie.
Het is meer een "hier heb je argumenten waarom het niet kan"-nietes-discussie. Het grote probleem is dat descheleschilder geen argumenten geeft of weerlegt, maar enkel zijn fout blijft herhalen.
In de kolommen die ik gegeven heb komen alle reëele getallen, in decimale vorm, tussen 0 en 1 voor. In elke kolom (oneindig in aantal) is een kolom getallen te zien die overeenkomt met de Natuurlijke getallen. bijvoorbeeld:
0.101
0.102
0.103
.
.
0.109999... (10 na de komma blijft gelijk)
Of:
0.001
0,002
0.003
.
.
0.009999.... (00 na de komma blijft gelijk)
Of:
0.4
0.41
0.42
.
.
0.49999... (4 na de komma blijft gelijk)
Of:
0.9001
0.9002
0.9003
.
.
0.9009999... (900 na de komma blijft gelijk)
Of:
0.9
0.91
0.92
0.93
.
.
0.99999... (9 na de komma blijft gelijk)
Achter elkeserie cijfers achter de komma zoals in voorgaande kolommen10, 01, 4, 900, 9, kun je de hele rij van de Natuurlijke getallen plaatsen. De verzameling van al deze kolommen is overaftelbaar, zoals Cantor beweerde. Vandaar dat er geen enkel getal bestaat (Cantor beweerde dat er een getal gevonden kan worden, via zijn diagonaalmethode, dat niet in de oorspronkelijke verzameling, voor de methode tehebben toegepast, voorkomt. Aangezien volgens al mijn kolommen alle reëele getallen tussen 0 en 1 in decimale vorm te vinden zijn, ga ik er van uit dat de verzameling waar Cantor vanuit ging een andere is dan de mijne. M.a.w. de verzameling waar Cantor vanuit gaat bevat niet alle reëele getallen.
In de kolommen die ik gegeven heb komen alle reëele getallen, in decimale vorm, tussen 0 en 1 voor. In elke kolom (oneindig in aantal) is een kolom getallen te zien die overeenkomt met de Natuurlijke getallen. bijvoorbeeld:
0.101
0.102
0.103
.
.
0.109999... (10 na de komma blijft gelijk)
Of:
0.001
0,002
0.003
.
.
0.009999.... (00 na de komma blijft gelijk)
Of:
0.4
0.41
0.42
.
.
0.49999... (4 na de komma blijft gelijk)
Of:
0.9001
0.9002
0.9003
.
.
0.9009999... (900 na de komma blijft gelijk)
Of:
0.9
0.91
0.92
0.93
.
.
0.99999... (9 na de komma blijft gelijk)
Achter elkeserie cijfers achter de komma zoals in voorgaande kolommen10, 01, 4, 900, 9, kun je de hele rij van de Natuurlijke getallen plaatsen. De verzameling van al deze kolommen is overaftelbaar, zoals Cantor beweerde. Vandaar dat er geen enkel getal bestaat (Cantor beweerde dat er een getal gevonden kan worden, via zijn diagonaalmethode, dat niet in de oorspronkelijke verzameling, voor de methode tehebben toegepast, voorkomt. Aangezien volgens al mijn kolommen alle reëele getallen tussen 0 en 1 in decimale vorm te vinden zijn, ga ik er van uit dat de verzameling waar Cantor vanuit ging een andere is dan de mijne. M.a.w. de verzameling waar Cantor vanuit gaat bevat niet alle reëele getallen.
In de kolommen die ik gegeven heb komen alle reëele getallen, in decimale vorm, tussen 0 en 1 voor. In elke kolom (oneindig in aantal) is een kolom getallen te zien die overeenkomt met de Natuurlijke getallen. bijvoorbeeld:
0.101
0.102
0.103
.
.
0.109999... (10 na de komma blijft gelijk)
Of:
0.001
0,002
0.003
.
.
0.009999.... (00 na de komma blijft gelijk)
Of:
0.4
0.41
0.42
.
.
0.49999... (4 na de komma blijft gelijk)
Of:
0.9001
0.9002
0.9003
.
.
0.9009999... (900 na de komma blijft gelijk)
Of:
0.9
0.91
0.92
0.93
.
.
0.99999... (9 na de komma blijft gelijk)
Achter elkeserie cijfers achter de komma zoals in voorgaande kolommen10, 01, 4, 900, 9, kun je de hele rij van de Natuurlijke getallen plaatsen. De verzameling van al deze kolommen is overaftelbaar, zoals Cantor beweerde. Vandaar dat er geen enkel getal bestaat (Cantor beweerde dat er een getal gevonden kan worden, via zijn diagonaalmethode, dat niet in de oorspronkelijke verzameling, voor de methode tehebben toegepast, voorkomt. Aangezien volgens al mijn kolommen alle reëele getallen tussen 0 en 1 in decimale vorm te vinden zijn, ga ik er van uit dat de verzameling waar Cantor vanuit ging een andere is dan de mijne. M.a.w. de verzameling waar Cantor vanuit gaat bevat niet alle reëele getallen.
Ik lach en dans, dus ik ben; bovendien blijft ondanks de wetenschap het mysterie bestaan!
Kijk eens of je de volgende gedachtengang kunt volgen: neem aan dat we aan ieder natuurlijk getal (te beginnen bij 1) een uniek reëel getal tussen 0 en 1 kunnen toevoegen. Neem nu van het aan 1 toegevoegde getal de eerste decimaal, van het aan 2 toegevoegde getal de tweede decimaal, enzovoort. We hebben nu, uitgaande van Cantors diagonaalargument, een reëel getal tussen 0 en 1 geconstrueerd, waarbij de n-de decimaal
in een 1-op-1 relatie met het n-de natuurlijke getal staat. Wijzig vervolgens de decimalen van dit getal door de decimaal 9 te vervangen door 0 en de overige decimalen door hun opvolger. We krijgen nu een reëel getal tussen 0 en 1 waarbij de n-de decimaal niet meer in een 1-op-1 relatie met het n-de natuurlijke getal staat. Dit is in strijd met de veronderstelling dat we aan ieder natuurlijk getal een uniek reëel getal tussen 0 en 1 kunnen toevoegen. Dit betekent dus dat de verzameling reëele getallen niet aftelbaar is, wat te bewijzen was.
"Mathematics is a gigantic intellectual construction, very difficult, if not impossible, to view in its entirety." Armand Borel
In de kolommen die ik gegeven heb komen alle reëele getallen, in decimale vorm, tussen 0 en 1 voor.
Als dat waar zou zijn (en dat is het niet) dan zou je bewezen hebben dat er een bijectie zou zijn tussen de natuurlijke en reeele getallen. Dit is echter niet wat Cantor beweert. Je hebt dus twee opties: 1. Je beweert dat de verzameling van reeele getallen aftelbaar is (en dat Cantor ongelijk heeft), of 2. je komt onder ogen dat je je vergist. Ongeacht van welke optie jij kiest, de juiste is nummer 2. Het probleem is nog steeds hetzelfde als voorheen. Het gaat fout bij getallen zoals:
descheleschilder schreef: ↑wo 05 mar 2014, 12:46
0.109999... (10 na de komma blijft gelijk)
Dit stelt volgens jou een 0, een komma, een 1, een nul en dan een natuurlijk getal voor. Er bestaat echter geen natuurlijk getal dat uit een oneindige reeks negens bestaat. Zoals al eerder gezegd: Elk natuurlijk getal heeft een eindig aantal cijfers.