Kollektsioonide moodustamine ja nende tasandid
Karmo Talts
Sõnastame järgmise kollektsioonide moodustamise põhimõtte: mistahes predikaadi P puhul saab elementidest predikaadiga P moodustada kollektsiooni.
Vaatame nüüd kõrgema tasandi kollektsioone. Ma nimetan klasside kollektsiooni kolmanda tasandi kollektsiooniks, kolmanda tasandi kollektsioonide kollektsiooni neljanda tasandi kollektsiooniks jne.
Vaatame nüüd kollektsioonide moodustamisel tekkivaid paradokse. Kui elementidest predikaadiga P hulga moodustamisel tekib paradoks, siis kollektsioon, mille saab moodustada nendest elementidest, pole hulk. Kui elementidest predikaadiga P klassi moodustamisel tekib paradoks, siis kollektsioon, mille saab moodustada nendest elementidest, pole klass. Kui elementidest predikaadiga P kolmanda tasandi kollektsiooni moodustamisel tekib paradoks, siis kollektsioon, mille saab moodustada nendest elementidest, pole kolmanda tasandi kollektsioon jne.
Vaatame nüüd kõigi tasandite kollektsioonide kollektsiooni. Kui kõigist kollektsioonidest mistahes kollektsiooni, mille tasandi arv on lõplik, loomisel tekib paradoks, siis on kollektsioonide tasandeid lõpmatult palju.
No comments:
Post a Comment