at
где прорекламили?
Size: a a a
2018 February 23
ж
у каны на канале
a
где прорекламили?
Кана начал учить теоркат и спаммить в чатиках
к
Кана начал учить теоркат и спаммить в чатиках
не спамлю я в чатиках
NK
вообще в модельнях Крипке для логики доказуемости Геделя-Леба никаких петель не должно быть, модель должна быть иррефлексивна и обратно фундирована
NK
ок, тогда с категорной точки зрения теорема Леба это странные петли в ТК?
NK
тут надо посмотреть, были ли модели Крипке-Жуаля для GL
к
что эти двойные стрелки значат? Опять новая авторская нотация
Oℕ
натуральные трансформации же
Oℕ
или какие двойные?
к
не, это понятно
к
я про F -> FGF -> F
Oℕ
ну есть две трансформации
Oℕ
туда и снова обратно
к
так, я понял, это цепочка переходов
Oℕ
можешь нарастить GF справа можешь потом сбросить FG слева
к
типа F = F1 = F GF = FG F = 1F = F
к
стрелки меня пугают эти, так просто не распарсить, думал даже на функцию от двух аргументов
Oℕ
нет типа
F . nu = F -> FGF
mu. F = FGF -> F
F . nu = F -> FGF
mu. F = FGF -> F