Zobrazit příspěvky
Tato sekce Vám umožňuje zobrazit všechny příspěvky tohoto uživatele. Prosím uvědomte si, že můžete vidět příspěvky pouze z oblastí Vám přístupných.
Zamereni FI MUNI je korekce pravopisu a programy pro handilepovane.Přesněji: na jedné katedře implementují sofistikovanou kontrolu pravopisu beroucí v potaz syntax a sémantiku. To je obecně velmi obtížná úloha pro každý jazyk.
Já to vidím přesně opačně, je tam jen výroková verze a moc technicky, vpodstatě jen přehled axiomů, co (ne)platí. Ale je to legálně zadarmo, není problém přečíst si obě a porovnat.Tak se tu knížku koukni, je tam málo filosofie a hodně logiky — a jde více do hloubky. “Logika a logiky” má výhodu v tom, že je česky, ale je hlavně o modální logice.Myslel jsem oproti tomu Od jazyka k logice.
Logika a logiky je z větší části o modální logice, ale i intuicionistické se tam věnuje. Mně se na ní líbí, že je taková přehledová - rozšíří člověku obzory a když ho něco z toho zaujme, může jít víc do hloubky s nějakou jinou knížkou. Bibliografie je tam myslím obsáhlá, IIRC.
Obecně jsou tři typy identit, kdy je která důležitá pak samozřejmě záleží na kontextu. Obecně v IT vytváříme hodně zjednodušené modely, co je nezajímavé pro danou úlohu, na to defekuje pes.To, že neumím rozlišit mezi dvěma objekty, může znamenat:
a. Jsou objektivně k nerozeznání.
b. Moje schopnosti rozlišit tyto dva objekty jsou nedostatečné, ale rozdíl tam je – možná to poznám později, možná to umí rozlišit někdo jiný.
Varianta b je asi celkem častý případ v reálném světě. Máme dvě sklenice vody. Na první pohled stejné, ale voda se může lišit složením, a rozdíl může být v extrémním případě otázkou života a smrti. V OOP podobná situace může nastat, když se budu pokoušet objekty rozlišit bez práce s jejich identitou. V Javě bez ==, != na objektech, bez identityHashCode apod.
V případě mutability to může být ještě zajímavější. Mohu mít dva na první pohled nerozeznatelné objekty se stejným obsahem, ale každý bude na jiné adrese. Časem se jeden z nich změní. Najednou se projeví odlišná identita, která dříve nebyla patrná.
Já k těmto věcem přistupuju podle efektu.
Pokud má objekt identitu, nezajímá mě, jak je to interně implementovaný, ale zajímá mě, že když ho změním, ovlivní či neovlivní to další věci?
V případě Theseovi lodě, záleží na tom, zda je to ta samá loď? V jednom článku na Oslu (navzdory tomu, že je to děsně pavědeckej site) bylo pěkné vyjádření, že zloděj včera ukradl tisícovku, ale dneska (díky výměně buněk, etc) už to není týž člověk co včera. A to mě přivedlo k zamyšlení - jenže tu tisícovku stále má. To, zda je či není týž nikoho nezajímá.
Pokud mám cenný obraz, a udělám z něho nějakým supr přístrojem stoprocentní kopii, tak filozoficky to první je originál a má hodnotu, to druhé je kopie, nemá hodnotu - ale v praxi mě takové otázky zajímat nebudou, a budu se spíše ptát po tom, zda ten obraz někdo koupí (nebo naopak, sběratele trefil šlak, protože zničil vzácný obraz, který byl sice padělek, ale to on nevěděl).
Tak se tu knížku koukni, je tam málo filosofie a hodně logiky — a jde více do hloubky. “Logika a logiky” má výhodu v tom, že je česky, ale je hlavně o modální logice.Coby informatikovi by se mu možná od Peregrina víc hodila Logika a logiky?Není zač. Jinak v AJ je dost dobrá jeho kniha “Philosophy of logical systems,” tam je částečně to samé, ale více do hloubky.Díky, kupuju si.Link ne, ale v Peregrinově “Od jazyka k logice” je dobře popsaná. Ona to žádná věda není, je to běžná logika, akorát bez zákona vyloučení třetího. Trochu jinak se tam definují konektivy a je rozhodnutelnější. A její verze vyšších řádů je taky více well-behaved.Jo, intuicionistickáČirou náhodou nějaký link na pojednání o ní, v češtině, by si nevěděl, co?
U nas situacia je taka, ze sa otvara novy tim, planuje sa dalsi tim otvorit. Co sa tyka platu, tak ja ako ICO si pridem na cca 200€/manday, co si myslim, ze by mohlo byt aj viac.Tohle Češi mají v povaze.
Mozno trosku offtopic, ale pacia sa mi taki vysrankovia, ktori pisu, ze maju 60€/h sro, na druhy rok pozriem uctovnu uzavierku a trzby 100000€ a zisk 3000€. Naklady na podnikanie 90000€. Naskyta sa otazka, kde ma ake naklady programator v takej vyske? Fiktivne naklady? Cisti odrbavaci.
Není zač. Jinak v AJ je dost dobrá jeho kniha “Philosophy of logical systems,” tam je částečně to samé, ale více do hloubky.Díky, kupuju si.Link ne, ale v Peregrinově “Od jazyka k logice” je dobře popsaná. Ona to žádná věda není, je to běžná logika, akorát bez zákona vyloučení třetího. Trochu jinak se tam definují konektivy a je rozhodnutelnější. A její verze vyšších řádů je taky více well-behaved.Jo, intuicionistickáČirou náhodou nějaký link na pojednání o ní, v češtině, by si nevěděl, co?
Večerní univerzity by se hodily i teď.Vsak mu nikdo nebrani aby studoval fyziku, ale pokud ji chce studovat na verejne skole, musi k tomu projit i urcitou porci "humanity". Pokud se tomu chce vyhnout, at jde na soukromou skolu.Ano, to už tu bylo. "Celospolečensky" určený ideál a vynucování konformity na škole a na pracovišti. K průběžnému vzdělávání sloužily i "večerní univerzity".
Spolecnost ve verejne dabate urci co je pro ni ve vezdelavani nejlepsi a pak to voleni zatupci uzakoni a exekutiva zavede. Realita samozrejme byva barevnejsi, ale abychom vedeli kam kracime, musime znat ideal.
Link ne, ale v Peregrinově “Od jazyka k logice” je dobře popsaná. Ona to žádná věda není, je to běžná logika, akorát bez zákona vyloučení třetího. Trochu jinak se tam definují konektivy a je rozhodnutelnější. A její verze vyšších řádů je taky více well-behaved.Jo, intuicionistickáČirou náhodou nějaký link na pojednání o ní, v češtině, by si nevěděl, co?
Jo, intuicionistickáV OOP mají tyhle "ontologické" otázky paralelu v tom mým oblíbeným (sarkasmus!) "Má dědit čtverec z obdélníka nebo naopak?" Ptáš se na nesmysly, máš víc starostí s vlastním pojmovým aparátem než s řešením problému samotného.V tomto případě přichází ještě problém v tom, kdy nad tím uvažuje někdo, kdo netuší, že co se typů týče, tak existuje určitá logika a idea která má pomáhat úplně jinak, než jak si dotyčný představuje. To jsou pak velice náročné rozhovory.
Jsem už starý a pamatuju to (mám osobní zkušenosti z univerzit v USA z dob mého mládí).Jak to vite?Stejně jako teď, jen bylo levnější.Co treba se podivat jaka vekova skupina voli Trumpa a srovnat to s tim jak vypadalo vzdelavani v dobe jejich mladi?VŠ mají už svou úlohu danou. V USA mají liberal arts na každém rohu a taky volí Trumpa, tak nevím, jestli to skutečně pomáhá.patří to na SŠ, které naopak bezplatné být mají (ty veřejné). VŠ už je vyšší level jen pro část populace.
Proc?
Protože dnes má VŠ kdejaký punťa, který by ještě před padesáti lety měl akorát tak na maturitu. Vzdělání devalvuje, VŠ titul o něm říká čím dál míň. V praxi pak vysokoškoláci dělají převážně vyšší úřednickou práci - aneb přijmeme pracovníka na pozici skladníka. VŠ výhodou.
Spolecnosti financovane VS nemaji vyrabet nejake lidske exkluzivity, k cemu by to spolecnosti bylo? Kdo chce byt exkluzivni, at jde na soukromou skolu... Naopak, spolecnosti financovane VS maji prispivat k silnejsi spolecnosti (zde spise ve smyslu pospolitost). Hodne do sirky vzdelana spolesnost vyrazne lepe odolava krizim, coz by podle me nemel byt problem statisticky dolozit. A je taky daleko mene nachylna volit populisty ci extremisty...
Tomu se říká commonsense psychology/sociology/physics/... a je to předmětem (meta)vědních disciplínMnohem častěji se to ovšem děje naopak, i když možná z jiných příčin. Úplně nejlepší jsou “přínosné” humanitní disertace jako Quantum feminism apod.Tak to je spíš specifikum vyšší fyziky, protože té nikdo pořádně nerozumí, čili potřebuju-li vystavět nějakou ezoterickou teorii, narvat tam kvanta se vždycky hodí
Ještě jsem se ale nesetkal se sociologem, který by tvrdil, že na elektromagnetickém poli "nic není", páč je to přece úplně stejný jako [něco ze sociologie]. Ono to bude daný tím, že všichni jsme lidi a žijeme v nějaké společnosti, takže všichni jsme tak trochu amaterští sociologové a psychologové, ať chceme nebo nechceme. Sociolog ale nemá stejný nutkání mluvit o elektromagnetickém poli, protože mu po něm prostě nic není
Skvělá knížka o tom je “How people think people think,” doporučuju.
Stejně jako teď, jen bylo levnější.Co treba se podivat jaka vekova skupina voli Trumpa a srovnat to s tim jak vypadalo vzdelavani v dobe jejich mladi?VŠ mají už svou úlohu danou. V USA mají liberal arts na každém rohu a taky volí Trumpa, tak nevím, jestli to skutečně pomáhá.patří to na SŠ, které naopak bezplatné být mají (ty veřejné). VŠ už je vyšší level jen pro část populace.
Proc?
Protože dnes má VŠ kdejaký punťa, který by ještě před padesáti lety měl akorát tak na maturitu. Vzdělání devalvuje, VŠ titul o něm říká čím dál míň. V praxi pak vysokoškoláci dělají převážně vyšší úřednickou práci - aneb přijmeme pracovníka na pozici skladníka. VŠ výhodou.
Spolecnosti financovane VS nemaji vyrabet nejake lidske exkluzivity, k cemu by to spolecnosti bylo? Kdo chce byt exkluzivni, at jde na soukromou skolu... Naopak, spolecnosti financovane VS maji prispivat k silnejsi spolecnosti (zde spise ve smyslu pospolitost). Hodne do sirky vzdelana spolesnost vyrazne lepe odolava krizim, coz by podle me nemel byt problem statisticky dolozit. A je taky daleko mene nachylna volit populisty ci extremisty...
Tak nějak obě, filosoficky v tom rozdílu není.Když užs to nakous — je přepodstatnění spíš cast, assertion nebo conversion?Jo sorry, teď jsem si uvědomil, že nevím, jestli myslíš nějaké přepodstatnění v teologickém smyslu (transsubstanciace v rámci mše) nebo tu změnu množiny funkcí, o které jsem mluvil (kočka -> auto).
Jestli myslíš tu teologickou, tak to raději nechci komentovat
Obecný ne, to je terminus technicus například v C++. V Go je u čísel — int64 na float32 třeba. Zrovna v Go znamená jeden syntaktický zápis různé věci v různých kontextech, cast vs. conversion atd.Když užs to nakous — je přepodstatnění spíš cast, assertion nebo conversion?Pojem "conversion" v kontextu IT neznám. Jestli ho myslíš jako obecný pojem, tak jo - je to prostě změna (s důrazem na to, že to není "změna podstaty", protože žádná podstata tam není).
působí až směšně, protože vystupuje velmi sebevědomě a přitom mele nesmyslyMnohem častěji se to ovšem děje naopak, i když možná z jiných příčin. Úplně nejlepší jsou “přínosné” humanitní disertace jako Quantum feminism apod.
Root.cz (www.root.cz), informace nejen ze světa Linuxu. ISSN 1212-8309
Copyright © 1998 – 2023 Internet Info, s.r.o. Všechna práva vyhrazena. Powered by Linux.