membrána komentáre

manifest finitizmu to tak

Nanyk — Fri, 18 May 2012 18:29:51 +0000

manifest finitizmu to tak uplne nie je. za finitistov sa oznacuju hlavne intuicionisti. im rekurzivnost staci. pre mna efektivny znamena v praxi dosiahnutelny (lepsi vyraz je asi feasible), tj napr polynomialny s malymi koeficientami. netvrdim ale ze neefektivne pojmy su zle no ze nemaju taku interpretaciu v realite aku maju tie efektivne. su to skor jazykove konstrukty. zjednodusene povedane neefektivne/nedosiahnutelne veci nemozu byt realizovane. napr dlzka akehokolvek realneho dokazu musi byt nakoniec velmi mala aby ho clovek alebo pocitac mohol efektivne overit

ked som si to cital, pomyslel

CrawlingChaos — Fri, 18 May 2012 13:16:19 +0000

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 matematickou debatou, ale skor sa priklanam k tomu, ze nie kazdy dokaz, ci pojem musi byt efektivny (a ak ano, tak ako? staci konstrukcia rekurzivna, ci v polynomialnom case...? - asi vzdy ide o kontext danej teorie a aplikacie), chapem take poziadavky relativne, ako zalezitosti hierarchie a granularity

inak paci sa mi, ako (cisto) je to napisane, aj ze ide o zaujimave nazory, to je konceptualizmus!

nerozumiem tomu

andrej — Fri, 18 May 2012 12:49:30 +0000

nerozumiem tomu

raz to muselo skoncit

Nanyk — Thu, 17 May 2012 22:05:21 +0000

raz to muselo skoncit

predtým to bolo lepšie

Abulia Teething LSD — Thu, 17 May 2012 21:38:31 +0000

predtým to bolo lepšie

to su tie svine verse

dazda — Thu, 17 May 2012 21:31:40 +0000

to su tie svine verse

tak som to zmenil na styl

Nanyk — Thu, 17 May 2012 21:25:07 +0000

tak som to zmenil na styl verse. mna ale stve zalomenie riadkov

mam pocit, ze si pouzil styl

dazda — Thu, 17 May 2012 19:25:49 +0000

mam pocit, ze si pouzil styl urceny na kod a cita sa to kurva zle s posuvanim listy

zaujimavy navrh. je ale asi

Nanyk — Thu, 17 May 2012 16:24:15 +0000

zaujimavy navrh. je ale asi prilis tazke ho plne zrealizovat. mas pocit ze by to pomohlo obsahu alebo ti ide len o vizualnu pritazlivost?

.

starous_lee — Thu, 17 May 2012 13:28:37 +0000