Kontinuumihypoteesista

Seuraa 
Viestejä11619
Liittynyt10.12.2008

Törmäsin tällaiseen

" In 1940 it was shown by Godel that the continuum hypothesis cannot be disproved. In 1963 it was shown by Cohen that the continuum hypothesis cannot be proved. "

Eikö tämä tarkoita, että kontinuumihypoteesi voidaan liittää reaalilukuihin muista aksioomista riippumattomana aksioomana?

Kommentit (1)

petsku
Seuraa 
Viestejä1473
Liittynyt6.6.2009

Luulisi, aksioomat voi ymmärtääkseni valita vapaasti (Tai eivät ne kai ristiriidassa keskenään voi olla?), mutta tämä olisi sitten kai uusi aksiomaattinen järjestelmä. Tällainenkin on keksitty:
http://en.wikipedia.org/wiki/Gödel%27s_incompleteness_theorems

Edit: [syötä sukuelin]n "ö"...

Uusimmat

Suosituimmat