Příspěvky

361

Studium a uplatnění / Re:Office a remote práce po pandemii

« kdy: 03. 08. 2020, 22:35:21 »

Tu onehdá doporučenou knihu o záv. typech už máš nastudovanou? Nebos to vzdal?

Nezvdal, nemám. Mám teď úplně jiné, o dost závažnější starosti

362

Studium a uplatnění / Re:Office a remote práce po pandemii

« kdy: 03. 08. 2020, 22:27:42 »

V pokročilém věku už λ-blábolus vyššího řádu nepochopíš tak snadno.

Tak se taky nic nestane

363

Studium a uplatnění / Re:Office a remote práce po pandemii

« kdy: 03. 08. 2020, 22:16:03 »

Místo esoteriky se radši douč ty typové systémy To myslím vážně, je to celkem eye opening a jak jsem psal, veskrze praktické, žádná pustá teorie jako třeba forsing.

Jasný, všechno bude. Přinejhorším v důchodu

364

Studium a uplatnění / Re:Office a remote práce po pandemii

« kdy: 03. 08. 2020, 22:11:24 »

Peregrin tvrdí, že je nevědecká. Můžeš se jít hádat s ním, zrovna tohle je mně šumák.

Však já s tím souhlasím. Nadpřirozené je nepřirozené

365

Studium a uplatnění / Re:Office a remote práce po pandemii

« kdy: 03. 08. 2020, 22:02:16 »

To už je jiné téma, nakolik jsou nevědní disciplíny jako filosofie důležité, relevantní a žádoucí. Já jsem třeba pro opětné zavedení povinné latiny a starořečtiny na gymnázia

BTW, filosofie není nevědecká, ale metavědecká!

366

Studium a uplatnění / Re:Office a remote práce po pandemii

« kdy: 03. 08. 2020, 21:57:14 »

To už je jiné téma, nakolik jsou nevědní disciplíny jako filosofie důležité, relevantní a žádoucí. Já jsem třeba pro opětné zavedení povinné latiny a starořečtiny na gymnázia

Já jsem pro znovuzavedení rétoriky

367

Studium a uplatnění / Re:Office a remote práce po pandemii

« kdy: 03. 08. 2020, 21:55:28 »

Je důležitá, hlavně v případě vyšších řádů, ale pro typové systémy fakt ne. Nebo jsi už potkal v Haskellu Heytingovu algebru?

To neumím posoudit, v teorii typových systémů se nevyznám. Myslel jsem spíš tak obecně, aby to pochopení logiky bylo trochu zakotvenější v širším kontextu...

368

Studium a uplatnění / Re:Office a remote práce po pandemii

« kdy: 03. 08. 2020, 21:49:26 »

Hlavně když ho to zajímá v souvislosti s typovými systémy, tak potřebuje predikátovou verzi, ne? Naopak sémantiku nepotřebuje. Ve skutečnosti v češtině vhodná literatura neexistuje, ale Peregrin je asi nejblíž (a jediný, co o tom píše bez blábolení). Bohužel relevantní věci jsou schované v mnoha jeho různých pracích, nikde ne uceleně.

Tak určitě se shodneme na tom, že Peregrin je asi nejlepší, co v češtině je. Pokud se teda člověk nechce bavit před spaním a přečíst si nějakého Smullyana, ten je ještě o řád lepší

Já bych tu sémantiku úplně nezatracoval, mně pomohlo do ní aspoň trochu strčit nos, abych si uvědomil, že musím rozlišovat mezi formalismem a jeho interpretací. Byla to pro mě docela cenná zkušenost.

BTW, docela mě baví i ty filosofičtější Peregrinovy věci, třeba Filosofii pro normální lidi bych dal jako učebnici středním školám. Bylo by to imho užitečnější než se nazpaměť učit nic neříkající hesla typu "Leibnitz = monády"*


* Abych naplnil čísi někdejší proroctví "Tihle dva když se tady potkají, tak to vždycky skončí u monád!" )

369

Studium a uplatnění / Re:Office a remote práce po pandemii

« kdy: 03. 08. 2020, 21:20:25 »

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.

No výroková v různých modifikacích. Plus sémantika k tomu. Technicistní to je, proto říkám, že by to mohl ocenit informatik.

370

Studium a uplatnění / Re:Office a remote práce po pandemii

« kdy: 03. 08. 2020, 14:42:29 »

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.

371

Studium a uplatnění / Re:Office a remote práce po pandemii

« kdy: 03. 08. 2020, 07:11:43 »

Jo, intuicionistická

Čirou náhodou nějaký link na pojednání o ní, v češtině, by si nevěděl, co?

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.

Díky, kupuju si.

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.

Coby informatikovi by se mu možná od Peregrina víc hodila Logika a logiky?

372

Studium a uplatnění / Re:Fakturace do zahraničí (Kanada) jako OSVČ

« kdy: 01. 08. 2020, 20:26:24 »

Pokud oni jsou na tom hůř, tak jim nic nebrání, aby byli jako my a pracovali.

Tvl, ty seš mimoň, to snad ani není možný

373

Studium a uplatnění / Re:Office a remote práce po pandemii

« kdy: 01. 08. 2020, 18:33:10 »

Výraz "entita, která má vlastnosti" je snaha o abstrakci, což je samozřejmě ok. Akorát že stejně skončíš u nějakého pojmenování, v tomto případě těch vlastností, takže třeba "kousavá". A pak ty pojmenování, a nikoliv ty abstrakce porovnáváš s nějakými reakcemi, závěry, škatulkami. Furt pracuješ se jmény, a přirozeně budeš mít tendenci spíše zobecňovat, páč je to jednodušší, rozuměj - praktičtější.

No, prvně je trochu otázka, jestli tvrdíš "k tomuhle sklouzneš" nebo "jinak to nejde".

Pojmenování není nic proti ničemu. Pokud množině vlastností A,B,C budeš říkat X, je to naprosto v pohodě, protože to je jenom zkratka, nic nového tam nevnášíš. Dokonce pokud řekneš, že z kombinace vlastností A,B,C plyne nutně D a tímpádem, že každé X má D, pořád jsi jenom u zkratek.

Něco jiného ale je, jakmile začneš mít pocit, že X je nějaký ontologický pojem. To se pak dostáváš k dementním otázkám typu "Co dělá kočku kočkou?" a "Jak má vypadat chleba, aby měl jenom to, co je podstatou chlebovitosti, a nic navíc?"

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.

374

Studium a uplatnění / Re:Fakturace do zahraničí (Kanada) jako OSVČ

« kdy: 01. 08. 2020, 16:47:41 »

Mnohem č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í

375

Studium a uplatnění / Re:Office a remote práce po pandemii

« kdy: 01. 08. 2020, 16:37:36 »

Obecný ne, to je terminus technicus například v C++.

Jo, jasně, já jsem teď měl nějaký zatmění, protože jsem si představil cast a asserion jako operátory a konverze hodnot nemá operátor, tak mi nějak nenaskočila )