Pa ja sam se sa svim tim već složio (u prethodnom postu)
Izgleda da su ovde svi platonisti?
Dakle svi se slažu da je cifra (da ne kažem: šifra) deo
sintakse (dakle u opštem slučaju cifra je neka
reč -niz nekih primitivnih znakova) a da je broj deo
semantike.
E pa, da li je to baš tako?
Koliko mi je poznato,
sve definicije prirodnih brojeva (do danas) su
sintaksne.
Npr. Peanova definicija podrazumeva da je 0 neki
grafički simbol, funkcija sukcesora se interpretira kao dopisivanje jednog stalnog
grafičkog simbola npr. neke "recke" : |, tako npr. broj (koga uobičajeno označavamo sa) 7 bi bio zapisan kao 0|||||||.
Ako pogledamo sada fon Nojmanovu definiciju vidimo da ona nije ništa "bolja":
0 je sada neki "ur element" (kome se pokušava "prišiti" semantička senka u vidu praznog skupa) i samo je
sintaksa
postala složenija:
Skrećem pažnju na to da je npr.

samo
oznaka za prazan skup. Dakle, sve se i dalje dešava na polju
sintakse ma koliko se mi trudili da iz sintakse "uhvatimo" semantiku (ovo liči na onu Ešerovu grafiku sa rukom koja crta samu sebe...)
Moja poenta je: semantiku (koja postoji samo u našim mozgovima) možemo preneti drugima samo kroz
sintaksu,npr. ne možeš naučiti dete šta je to broj (koga uobičajeno označavamo sa) 7 a da pri tom ne koristiš neki vid sintakse.
I ono ispravno rešenje koje je dao
stf je zapisano pomoću
cifara (tj. šifara)...svidelo se to nekom ili ne!
Dakle, formalno govoreći: u matematici postoji samo
sintaksa, a Bogu hvala što ne
moramo da mislimo
samo pomoću nje.
Pa ipak, postoje matematičari (kukala im majka) koji misle da u matematici postoje
samo oni objekti koji se mogu efektivno konstruisati.
Najzad, zadaci slični
Zadatku 40, vrlo često se zadaju u formi koja implicitno
dopušta konkatenaciju.
Da to nije tako, verovatno bi se zadavali u obliku:
Pronaći f-ju
koja je kompozicija f-ja:

takvu da za zadate
brojeve 
i

važi

i u čijem se zapisu promeljive

javljaju
tačno 
puta.
Ovoliko formalističkog čistunstva vodi u paranoju!
Attempt all the problems. Those you can do, don't do. Do the ones you cannot.