hm:))) jao....
bljesak preko neba... munja... *TRAS* zaglusujuci zvuk... dvije sekunde nista se ne vidi... a onda... uzas... na mjestu gdje je stajao Hilbertov program vide se samo rusevine... iz kojih se izvlace crne sjene koje se razilaze po cijelom mathLandu i nagrizaju sve do cega dodu...
...Jedan detalj svima je ostao urezan u sjecanje... _u onom bljesku nesto je pisalo_... ali sto? GIMovi koji su to vidjeli pokusavaju nesto ispisati, koristeci sve modifikatore za koje znaju, ali ne mogu... a ljudi su jos uvijek u soku...
No naravno, mathLand ne bi bio mathLand da ga takvo nesto moze izbaciti iz takta na dulje vrijeme... nevidenom upornoscu, cak i prije nego sto se situacija smirila, matematicari se razilaze po mathLandu, rezuci putove crnim sjenama i mijenjanjem same strukture matematicke tvari tamo gdje vec nista drugo ne pomaze... Sada svi znaju "u kom gromu lezi zec":-), i cine sve sto mogu da sprijece da se takvo sto ponovo dogodi...
I to je to... za samo par godina, mathLand je ponovo obnovljen, sve je zakrpano i u ljude se vraca onaj entuzijazam kojeg su imali tisucama godina... no lekcija je naucena: nijedan formalan logicki sustav koji je dovoljno snazan da govori o samom sebi, savrseno korektan i dovoljno precizno definiran da ga se moze zapisati u obliku algoritma _ne moze_ nikada iskazati sve ono sto se ocekuje od njega... i kao posljedica toga, ne moze mu se predati apsolutna vlast i arbitraza toga sto je u mathu ispravno, a sto nije...
Dakle, ostavimo se misli da ce kompjuteri poput naprednih GIMova jednog dana raditi svu matematiku umjesto nas... mogu nam pomagati, i to puno, ali ne mogu nikada biti vrhovni odlucivaci na tom polju...
moc ljudskog mozga izgleda nadilazi svaki formalni sustav kojeg mozemo smisliti... (looking back, to i nije tako cudno, zar ne:-? ali pomalo podsjeca na onu pitalicu: moze li svemoguce bice stvoriti kamen koji ne moze podici:-? /inace, moj odgovor na takvo nesto je vecinom u smjeru sljedeceg: naravno da ne znam, ali mislim da se to bice stvaranjem covjeka prilicno priblizilo tom idealu, ako ga i nije
dostiglo(:-!):/ - ali udaljavamo se od teme...:)