Office a remote práce po pandemii

[Idris]

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.

[Reklama]

[Mirek Prýmek]

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]

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.

[Mirek Prýmek]

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

Tak se taky nic nestane

[Idris]

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?

[Reklama]

[Mirek Prýmek]

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]

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.

Kdyby byly nějaké dotazy k té logice, sem s nimi