Ina teoria formala da la mema, part 1

* Ina teoria formala da la mema, part 1*

Nus cumenzain cun la constataziun che nossas imaginaziuns primitivas èn quellas da la memoria e da la descripziun.
Nus axiomatisains la teoria dal memma sco seguainta:

Axiom 1 (Equivalenza da Meme): Ina mema po vegnir caracterisada da sia descripziun cumpletta: Sche dus mems permettan descripziuns equivalentas, èn quests mems identics. Guardai, che dus differents mems pon parter ina descripziun, uschè ditg ch’els sa differenzieschan en ina segunda descripziun.

Axiom 2 (princip da la nunreferenza): Or da mintga memoria pon ins extrair in element uschia che, sche quest element vesa ora sco in memorial, na parta betg ina descripziun cun il mem original.

Axiom 3 (princip da la programmaziun mem-propagina): Igl è pussaivel da producir ina massa populara cun prender variaziuns da descripziuns d’in frain fix.

Axiom 4 (princip da la dispensaziun da cumponentas): In mem valaivel po vegnir furmà, sch’ins engola or da duas frasas ina idea descriptiva e sch’ins metta en connex ella ad in memem.

Axiom 5 (princip da stitching): In memorial valaivel po vegnir furmà, sch’ins resumescha las descripziuns da dus mems.

Axiom 6 (princip da la midada dal caracter): Ina descripziun d’in stem che variescha in subject po vegnir evaluada tar mintga assicuranza spezialisada e furma in bun mem.

Axiom 7 (existenza d’in memori infinit): I dat in memorial che permetta finalmain bleras descripziuns.

Axiom 8 (princip da la generaziun cuminaivla da Meme): Cun mintga memoria dada pudais Vus furmar in menu valaivel cun resguardar a medem temp tut las cumbinaziuns pussaivlas da descripziuns da memas.

Axiom 9 (mem incorrect): I dat in mem senza descripziun.

Axiom 10 (reacziuns da las descripziuns): Las descripziuns da la mema pon vegnir zavradas uschia che mintga collecziun da descripziuns dal stem ha la mendra descripziun.

------

Guardond che Axiom 2 implitgescha che nagin na sa laschia sco descripziun. Guardai er che l’ipotesa 9 n’è betg en cuntradicziun cun nossa teoria, perquai che la descripziun d’in memory è in term primitiv.

In memorial po vegnir descrit cun finalmain bleras descripziuns, pia duessan nus esser precauts cun noss exempels.
1.)   In grond meme da Chungus n’è betg equivalent ad in schem, perquai ch’els han duas differentas descripziuns specificas.
2.)   Sche ti prendas il doctorat ed il schem, tuts dus commembers da differentas frasas, has ti il dretg da construir in cun l’auter.
3.)   Igl è quasi impussibel da construir ina successiun explicita da las descripziuns d’in mem.

-----

Tesa 1: I dat mo in memorial.
Cumprova: prendain nus, M e N fissan differents muments, ed il M è indescrivibel. Alura ston els sa differenziar tras l’Axiom 1 en almain ina descripziun. Cunquai che M n’ha naginas descripziuns, sto N almain avair ina descripziun; perquai na po ella betg esser incorrecta.

Tesa 2: Il mem da tut las cumbinaziuns da descripziun d’in mem mem ha dapli descripziuns che la memma originala.
Cumprova: m saja in mem e M saja il stem che sa cumpona da tut las cumbinaziuns da las descripziuns da mam. Igl è cler ch’i dat almain tant sco l’original. Per ch’els sajan eguals, duess mintga descripziun correspunder d’ina da M, e tut las descripziuns da M duessan en questa moda vegnir cuntanschidas. Ma questa correspundenza na fiss betg abla da cuntanscher tut las descripziuns da M, perquai che la collecziun da descripziuns da m che na vegnan betg cuntanschidas tras la correspundenza è ina descripziun valaivla da MM e na po betg vegnir cuntanschida per definiziun.

Tesa 3: I na dat nagin memorial meme, q.v.d. in mem che permetta tut las descripziuns
cumprova: sch’insatgi fiss in tal memorial, pudess nus construir in Mem Mem M che consista da tut las cumbinaziuns da mias amortisaziuns (Axiom 8), e cun la frasa 2 avessi dapli descripziuns ch’il memem da tut ils mems, ma quai n’è betg pussaivel.
------

Tesa 4: M saja in mem, uschia che duas descripziuns èn D e Divers da las sulettas duas descripziuns. Per tuts m’avain nus frasa ch’existan da D e Divers (q.v.d. la mema che sa cumpona da D) e la mema che sa cumponan da tut las descripziuns (q.v.d. =Mema che consistan da Drifers). Lura è M=W».
Il mussament: en la definiziun da M è W in mem che consista da D, ed U è in mem che sa cumpona da Dconi. Sche nus adindain tut las descripziuns, betg en questa frasa, survegnin nus in memorial cumponì da tut las descripziuns, quai vul dir il mem original.

Tesa 5: Ils mems ch’existan da l’unica descripziun d’in mem, èn ils medems.
Cumprova: perquai ch’els èn colliads mo cun ina descripziun, na sa differenzieschan els betg en ina descripziun; perquai èn els il medem memorial.

Tesa 6: Il stem che sa cumpona da tut las descripziuns d’in auter memorial n’è betg equivalent a quel.
Cumprova: prendain en mira ch’i dettia dus mems, M1 ed M2, uschia che M1 consista da tut las descripziuns da M2 e viceversa. Tras l’Axiom 1 dessi almain ina descripziun da D, uschia che D (M1) = D (M2) = D (M2) = D (M1) = D (M1) = D, ma quai vul dir che M1 = M2 ed uschia Axiom 2 importass che questa mema è sia descripziun sco element che n’è betg pussaivel.

Tesa 7: Tut ils muments equivalents sa cumponan da las medemas descripziuns.
*** Damai che la massa equivalenta ha descripziuns equivalentas, datti almain ina descripziun, uschia che mintga descripziun d’in memori correspunda a la descripziun d’in auter memorial.
> Cumprova: prendain en mira ch’i dettia ina illustraziun ibrica, uschia che utschels (A) fiss ina relativaziun equivalenta sin A, q.v.d.» Prendain era che qvd (A) era ina classa equivalenta, da la quala è stada la grondezza 1 (q.v.d. = funcziun (A)). Lura = Klibühel (A) = Tochter (A) = Kriems (A) = Kriems (A) = Kriems (A) = Kriems (A) = Netanjahu (A) = Netanjahu (A) | Destination (A) ] che s’oppona a nossa supposiziun. Quai vul dir che, sche dus objects èn equivalents, èn lur grondezza infinita (q.v.d. lur dumber na permetta nagin cunfin superiur).
> Cumprova: lascha esser la funcziun dad A fin A; el è [x] per tuts [x] ad A; lura vegn l’interpretaziun dad A ad A e permetta ses maletg in cunfin superiur «a». Sche «a» fiss finalmain, lura signifitgassi ([x]) e f ([y]) per x-ina [x], [x] en A «a» manz»«), che [x], [y], [y] en «unendlich»), perquai ch’i na dess nagina limita superiura; ma quai na sto betg esser «a» infinit, uschia che «a» (il maletg n’ha nagina limita maximala). I dat damai ch’i dat per mintga «a» [x] per il f ([x]), vul dir per mintga object in dumber infinit da classas d’equivalenza (q.v.d. ch’ellas n’èn betg finalas).
Sch’in object n’ha naginas classas d’equivalenza, alura èsi different da mintga auter object e consequentamain han differents objects differents grondezzas; ma quai na correspunda betg a nossa acceptaziun e po perquai entrar en quest cas, q.v.d. tut ils objects han classas d’equivalenza (quai vul dir, els han ina grondezza infinita). Prendain ussa, onda (A) permetta classas d’equivalenza infinitas; en consequenza da quai è che q.v.d. =A, uschia ch’il maletg dad A è (A) in homorphissem, dal qual il maletg n’è betg A; ma sch’in maletg n’è betg l’entira massa, na poi betg dar ina sutgruppa, p.ex. omomorfissems injiziants dad A tenor A; ins na po betg esser senza che nus n’essan betg e che nus sa distinguian or da la fulla, (spezialmain ch’els pon inscriver).

Tesa 8: I n’è betg pussaivel da construir in’equivalenza tranter la fulla en furma d’in isomorfissem tranter sias structuras. Cumprova: prendain nus en egl, A e B fissan dus mems ed i dess ina illustraziun f:A •B, uschia che F:ALP fiss in isomorfissem (tranter sia structura). Cunquai che A e B èn quantitads da descripziuns, vul quai dir ch’i sto dar dus objects equivalents ad A, uschia che sia equivalenza implitgescha l’existenza dals medems objects en il medem dumber; ma quai n’è betg pussaivel, perquai ch’ina equivalenza na mantegna betg exnum la grondezza.

Tesa 9: I na dat nagin memori che cuntegna tut las descripziuns.
Cumprova: prendain en egl che cuntegneva tut las descripziuns. Lura, tras l’Axiom 1, na fissi betg ina descripziun. Sch’igl ha dà descripziuns, pudessan nus fabritgar in mem che consista da tut las descripziuns (q.v.d. il mem original).

Tesa 10: La descripziun d’in stem na po betg cuntegnair tut las descripziuns d’in auter memorial.
cumprova: sche gea, pudain nus construir in memorial cun cumbinar tut las descripziuns da dus temas A e B, e quai signifitgass che tut las descripziuns da memas fissan cuntegnidas en quai che n’è betg pussaivel.

I dat in memorial che permetta mo ina descripziun.
Cumprova: acceptà, il mem avess duas u dapli descripziuns, avess il stumi da tut la fulla dapli ch’ina descripziun.