*logic

Наконец-таки наткнулся на книгу, качественно и полно раскрывающую тему задания и исследования систем типов с помощью теории категорий, — "Introduction to Higher-Order Categorical Logic" Ламбека. Она описывает три разных способа задать типовые системы с помощью категориальных структур, — начиная от наивного CCC, ... more →

#ttzoso

6 comments

Туториал по sequent calculus
http://logitext.ezyang.scripts.mit.edu/l...

#oggnoz

2 comments

Еда на псаче:

/Из обсуждения:
Как–то раз я в споре со своей женой обнаружил какую–то откровенную
дурь в ее словах и сказал:
— Но это же не логично!
— Ну и что?
Блядь, НУ И ЧТО? в этот момент у меня вообще весь мир рухнул, и я
понял что для нее вообще нет разницы, логично или нет то, что она
говорит. ВООБЩЕ!

Когда ... more →

#oisoti

add comment