#матлог #учёба #спецсеминар #не_мехмат #МИАН #ТД

Logic Online Seminar (https://www.mathnet.ru/conf876), Monday 16:00 MSK (UTC+3), Room 313 MIAN + Zoom (onsite talk, in Russian)

30.09.2024 В.И. Данилов (ЦЭМИ РАН): Алгебры Магари и функции выбора Плотта

Я хотел бы поговорить о неожиданной и пока необъясненной связи двух тождеств: тождества Лёба из теории доказуемости и условия "независимости от пути" Плотта из теории рационального выбора. Не будучи специалистом в теории доказуемости, я сосредоточу свой рассказ больше на функциях выбора. Функции выбора Плотта - замечательная математическая структура, обобщающая понятие частичного порядка в несколько неожиданном направлении. В силу этого такие функции появляются в различных местах - в немонотонной логике, теории стабильности, комбинаторике. И под разными личинами - как выпуклые геометрии, как разреженные пространства, как колмогоровские предтопологии, как обобщенные алгебры Магари.

🔗 Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar&


➰ ВК