banálny "Komentár Juraja Kušnierika o súťaži Anasoft litera 2009.", osobne dufam, ze to vyhra jedna z tych styroch zien (najlepsie vasova alebo juranova) a nie rankov
manifest finitizmu to tak uplne nie je. za finitistov sa oznacuju hlavne intuicionisti. im rekurzivnost staci. pre mna efektivny znamena v praxi...
ked som si to cital, pomyslel som si "manifest finitizmu", a ono fakt
neviem, ci mam dostatocny vhlad na to, aby som sa zaoberal takouto...
nerozumiem tomu
raz to muselo skoncit
predtým to bolo lepšie
manifest finitizmu to tak uplne nie je. za finitistov sa oznacuju hlavne intuicionisti. im rekurzivnost staci. pre mna efektivny znamena v praxi...
ked som si to cital, pomyslel som si "manifest finitizmu", a ono fakt
neviem, ci mam dostatocny vhlad na to, aby som sa zaoberal takouto...
nerozumiem tomu
raz to muselo skoncit
predtým to bolo lepšie