Neka je skup svih funkcija oblika

gde je nenegativna celobrojna konstanta. Sve funkcije koje si naveo pripadaju skupu i skup je zatvoren za operator supstitucije. Odatle sledi da se na pomenuti naćin ne može dobiti niti jedna funkcija koja nije iz skupa pa samim tim ni funkcija

Jeli Bašiću, jeli tebi ovo zaista treba ili se samo zajebavaš postavljajući zadatke ne bi li video da li će neko da ih uradi? Taman sam se potrudio da odgovorim misleći da nekome zaista treba pomoć, kad sada pročitah tvoje ime.

Sta je tu lose ?!

Pa bas je bolje da postavi zadatak neko za ljude koji cisto iz razonode hoce da rade zadatak, nego da se javi neko ko ne ume da uradi domaci, ili sta vec. Nigde u opisu foruma nisam video da pise da je dozvoljeno samo postavljanje zadataka koje postavljac ne ume da resi....

Kada postavim ovde zadatak uvek znam i da ga rešim, a postavljam ga zato što mi se čini zanimljivim (bilo postavka bilo rešenje). Ne radi se ni o kakvoj proveri da li će neko da ih uradi, već samo želim ono što je meni interesantno da podelim sa drugima. Ako me pitaš zašto onda ne dam i rešenje zajedno sa postavkom odgovor je zato što sam siguran da ima ljudi (takav sam i ja) koji ne vole da pročitaju postavku pa odmah rešenje već više vole sami da se pomuče.

Jedini način definisanja tražene funkcije, za koji ja znam, je rekurzivan, pa me baš zanima da li je to ograničenje suštinsko, tj. da li bi eventualno neki drugi konačan skup ("jednostavnijih") funkcija, kompozicijom mogao da generiše f-ju .
(Čini mi se da je odgovor negativan, ali pojma nemam kako da to proverim)

Da li neko zna za neki rezultat u tom pravcu?

Zanimljivo pitanje, ali bojim se ne baš precizno postavljeno. Funkcija teško može da bude "jednostavnija" (ma šta to značilo) od (naravno, ne tvrdim da nema takvih funkcija, štaviše tri koje bi mogle tu da se svrstaju iako nemamo definiciju jednostavnosti su navedene u prvoj poruci), pa sledi da da bismo pokušali da napravimo bilo kakav korak u tom smeru prvo moramo da se dogovorimo kakve tačno funkcije mogu da ulaze u naš skup.

Ma, nije ništa loše. I ja sam postavljao takve zadatke. Samo bih voleo da to u opisu zadatka bude i naznačeno. Nekada sam na ovom forumu bio mnogo aktivniji, ali me sada mrzi da se sa tim bakćem. Ponekad imam motiv kada time mogu nekome da budem koristan. Meni ovo rešenje nije zanimljivo, tako da sam samo štetio ostalima kvareći im zabavu.

Deluje mi malo glupo da prilikom postavke svakog zadatka kažem: "Ovo je zadatak koji znam da rešim", ali možemo ovako: kada ja postavim zadatak smatrajte da imam i rešenje, a ukoliko nekad budem postavio i neki koji ne znam da rešim to ću obavezno da naglasim.