Вышла статья Анастасии Оноприенко «NP-полнота игры “Ханаби” при минимальных параметрах»
В журнале «Доклады Российской академии наук. Математика, информатика, процессы управления» опубликована статья Анастансии Оноприенко «NP-полнота игры “Ханаби” при минимальных параметрах».
Доклады сотрудников МЛ ЛогЛинФФ на конференции с Санкт-Петербурге
21-22 ноября проходила конференция, приуроченая ко Всемирному Дню философии и Дням философии в Санкт-Петербурге, на которой Максим Евстигнеев и Анна Моисеева выступили с докладами.
Доклад Максима Евстигнеева на конференции ко Всемирному дню философии
20 ноября в ИФПР СО РАН прошла конференция, приуроченная ко Всемирному дню философии, на которой Максим Евстигнеев выступил с докладом «Локк и Кант об основании математической достоверности».
«Мой интерес к логике начался с неудовлетворенности»: Сайянтан Рой о своем научном пути и дальнейших планах
В Международную лабораторию логики, лингвистики и формальной философии приехал новый исследователь - Сайянтан Рой. В интервью он рассказывает о первом учителе - отце, о том, что изменило его представление о логике и о доброте незнакомых людей в новой стране.
Доклад Сайянтана Роя «Abstract Model Structures and Compactness Theorems»
19 ноября прошло заседание научно-исследовательского семинара «From the Logical Point of View».
Доклад Ивана Пыльцына «Начальные сведения о логике второго порядка» на матфаке НИУ ВШЭ
Стажер-исследователь Иван Пыльцын выступил на семинаре «Современные проблемы математической логики», который прошел 14 ноября на матфаке НИУ ВШЭ.
Доклад Максима Евстигнеева «И. Кант о математических дефинициях»
12 ноября состоялось 105-е заседание научно-теоретического семинара «Формальная философия».
Открыта подача заявок от подразделений: старт девятого сезона Программы российских постдоков
НИУ ВШЭ объявляет о старте девятого конкурса в рамках Программы привлечения российских постдоков, которая с момента запуска в 2018 году стала важным инструментом академической мобильности и укрепления научного потенциала подразделений. Сегодня в трех кампусах ВШЭ работают 60 постдоков более чем из 20 городов России и мира —от Барнаула и Махачкалы до Флоренции и Лондона.
Доклад Александра Поддьякова «Объекты "с секретами" по принципу "если - то" в экспериментах психологов»
5 ноября состоялось 104-е заседание научно-теоретического семинара «Формальная философия».
Доклад Джона Белла «Abstract and Variable Sets in Category Theory»
1 ноября прошло заседание научно-учебного семинара «Математическая логика и теория категорий», на котором выступил почетный профессор факультета философии Университета Западного Лондона Джон Белл.