par pitanja u vezi gradiva

[Lutajuci]

@Melkore, zahvaljujem na promptnom i iscrpnom odgovoru. Naravno, ako su svi objekti u formuli skupovi, ili su "kodirani" kao skupovi, formalna nejasnoća nestaje.

Navedeno kodiranje skupa prirodnih brojeva (i općenito dobro uređenih skupova) pomoću "atoma" praznog skupa i njegovih sljedbenika koje navodiš mi nije nepoznato.

Jedino... kad već imamo toliko muke s zapisivanjem prirodnih brojeva (koliko nam samo vitičastih zagrada treba za zapis npr. broja 2008), pitam se kako bi kao skupove zapisali kompliciranije objekte, npr. (stvarnu i trodimenzionalnu) vješalicu, ili nekog (stvarnog i trodimenzionalnog) Matu? Valjda kao skup molekula, ili (u Matinom slučaju) stanica od kojih se sastoje. S time da su molekule, atomi i stanice, prema našim saznanjima također skupovi nekakvih manjih sranja, o kojima u stvarnosti i ne znamo puno. Hm, nije to tako loše zamišljeno, ustvari. Nije slučajnost da je Zermelo bio Planckov đak, a Goedel Einsteinov prijatelj. Još jednom, hvala.

[saki]

Melkor:

Kad imam produkt (po i element w*2) od i

kako rastavim???

produkt (i ele w) i * produkt (i ele w) (w+i)
ili
produkt (i ele w) i*(w+i)


hvala

Added after 11 minutes:

joj. znam ok je ....

[pssst]

teorijski zadatak iz popravnog kolokvija: dokazi c+c=c

ja sam probao ovako:
1) c+c>=c je ocito
2) c+c=2c <= c^2 =tm tarskog= c

ali nisam dobio bodove za to, pa me zanima kak to treba ici

[Gost]

Trebao si napravit bijekciju sa skupa koji ima 2c elemenata u c... Npr. <1,2>U<3,4> kardinalnost od toga je c+c jer su disjunktni, a ta unija je podskup <1,4> čija je kardinalnost c pa lako dobiješ da je c+c=c.