Cеминар «Нестандартные логики»

Архив семинара

10 октября 2024 г.

Д. М. Анищенко (НГУ)
Кто боится Альфреда Тарского?

Аннотация

В докладе пойдет речь о IF-логике Хинтикки (Independence-Friendly Logic), которая представляет собой обогащение первопорядковой логики за счет введения ветвящихся кванторов по индивидным переменным. В результате выразительные возможности IF-логики оказываются эквивалентными сигма-1-1-фрагменту логики второго порядка. По этой причине IF-логика обходит ограничительную теорему Тарского о невыразимости истинности – один из важнейших негативных результатов для арифметики Пеано. Это очень эффектный пример показывающий как незначительное, казалось бы, изменение языка приводит к важным и интересным последствиям. Семантически IF-логика задается при помощи теоретико-игровой семантики, поэтому в ходе доклада потребуется ввести базовые понятия теории игр.

Список семинаров

Семинар «Математический коллоквиум»

Семинар «Актуальные проблемы прикладной математики»

Семинар «Алгебра и логика»

Семинар «Геометрическая теория функций»

Семинар «Геометрия, топология и их приложения»

Семинар «Дискретные экстремальные задачи»

Семинар «Дискретный анализ»

Семинар «Избранные вопросы математического анализа»

Cеминар «Теоретические и вычислительные проблемы математической физики»

Семинар «Инварианты трехмерных многообразий»

Семинар «Комбинаторика и символьные последовательности»

Семинар "Kourovka Forum"

Семинар «Криптография и криптоанализ»

Семинар «Математические модели принятия решений»

Cеминар «Прикладная статистика»

Cеминар «Прикладные обратные задачи и искусственный интеллект»

Семинар «Теория графов»

Семинар «Теория групп»

Совместный семинар «Теория моделей» им. Е. А. Палютина и «Теория моделей» ИМММ МОН РК

Семинар «Теория статистических решений»

Семинар «Эварист Галуа»

Семинар теории колец имeни А. И. Ширшова

Семинар лаборатории методов оптимизации

Семинар «Обратные задачи математической физики»

Семинар отдела анализа и геометрии

Семинар по геометрическому анализу

Общеинститутский математический семинар

Объединённый семинар лаборатории ТВиМС и кафедры ТВиМС

Cеминар «Теория вычислимости»

Семинар «Объяснительный Искусственный Интеллект»

Объединенный вероятностный онлайн-семинар «Вероятность и математическая статистика»

Семинар Книгочтения

Семинар лаборатории анализа данных

Семинар «Актуальные проблемы теории расписаний»

Семинар лаборатории теоретической физики