Fighting Hobbit
Legacy Member
In mijn cursus bewijzen en redeneren staat nochtans een korte uitleg over de continuum hypothesis. Heeft te maken met cardinalieiten van verzamelingen. Die hypothese zegt dat er geen verzameling X is, zodat de cardinaliteit |X|Parnakra zei:Bewijzen voor EN tegen een theorie kunnen niet, dat is een contradictio in terminis. (sp?)
Of je hebt de theorie bewezen, waardoor je ze nuttig kan gebruiken door ze toe te passen, of je hebt de theorie ontkracht, waardoor je ze nuttig kan gebruiken door ze te verwerpen.
van X groter is dan alef-nul en kleiner dan 2^alef-nul (je zegt dat |X|=alef-nul als je een bijectie kan vormen van X naar IN\{0}).
Van deze hypothese is bewezen dat ze niet te bewijzen is. Je kan ze dus aannemen en nooit tot een tegenspraak komen en maar ook verwerpen en nooit tot een tegenspraak komen.
Er zit een kleine nuance in wat jij zegt en in het niet bewijsbaar zijn van iets, maar er is ook wel een verband. En deze hypothese zou naar ze mij verteld hebben wel degelijk toepassingen kennen. Veel meer weet ik er ook niet van omdat het allemaal redelijk (eigenlijk) zeer complexe wiskunde begint te worden en dat zien wij allemaal nog niet. (ik ga het waarschijnlijk nooit zien vermoed ik)
:ironic: 
)
Wie weet komt er in de volgende jaren wel een nieuwe theorie die het determinisme terug invoert. 