Office a remote práce po pandemii

Idris

  • *****
  • 1 524
    • Zobrazit profil
    • E-mail
Re:Office a remote práce po pandemii
« Odpověď #105 kdy: 03. 08. 2020, 22:14:58 »
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é ;)
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.


Re:Office a remote práce po pandemii
« Odpověď #106 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 :)

Idris

  • *****
  • 1 524
    • Zobrazit profil
    • E-mail
Re:Office a remote práce po pandemii
« Odpověď #107 kdy: 03. 08. 2020, 22:20:04 »
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 :)
V pokročilém věku už λ-blábolus vyššího řádu nepochopíš tak snadno.

Re:Office a remote práce po pandemii
« Odpověď #108 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 :)

Idris

  • *****
  • 1 524
    • Zobrazit profil
    • E-mail
Re:Office a remote práce po pandemii
« Odpověď #109 kdy: 03. 08. 2020, 22:31:02 »
V pokročilém věku už λ-blábolus vyššího řádu nepochopíš tak snadno.
Tak se taky nic nestane :)
Tu onehdá doporučenou knihu o záv. typech už máš nastudovanou? Nebos to vzdal?


Re:Office a remote práce po pandemii
« Odpověď #110 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 :(

Idris

  • *****
  • 1 524
    • Zobrazit profil
    • E-mail
Re:Office a remote práce po pandemii
« Odpověď #111 kdy: 06. 08. 2020, 11:04:24 »
Jo, intuicionistická :D
Č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.
Kdyby byly nějaké dotazy k té logice, sem s nimi ;)