Empty Name
только что я попросил чела (с матфака вшэ) из твиттера правильно объяснить мне теоремы геделя и он написал 30 сообщений (спасибо ему)
сел смотреть НИС по мат логике и алгоритмам с матфака вшэ по его рекоммендации
как же хорошо летом:
в зал сходил, в кофейню пришел, учишься в свое удовольствие
в зал сходил, в кофейню пришел, учишься в свое удовольствие
Empty Name
пишу абстракт для одного крутого воркшопа по философии науки в Дании
update: он по философии физики, но я знаю как завернуть свою тему в эту сторону
Empty Name
из всего общения надо оставить только cryptic communication и формулы
бип-боп-бип-боп классы смежности бип-боп-бип-боп квантификация высшего порядка бип-боп-бип-боп теория когомологий Стинрода — Эйленберга
думаю заявление (и дальнейшие следствия) Зеленского о необходимости нюки для Украины идеально описываются динамической логикой публичных объявлений
Empty Name
думаю заявление (и дальнейшие следствия) Зеленского о необходимости нюки для Украины идеально описываются динамической логикой публичных объявлений
как пример публичного объявления, которая приводит к противоположным результатам
между прочим вопрос абсолютно тупой, но так я нашел статью по теории игр + логика публичных объявлений, что очень интересно
https://link.springer.com/article/10.1007/s11229-010-9838-8
https://link.springer.com/article/10.1007/s11229-010-9838-8
SpringerLink
What will they say?—Public Announcement Games
Synthese - Dynamic epistemic logic describes the possible information-changing actions available to individual agents, and their knowledge pre- and post conditions. For example, public announcement...
🔥1