Николай Вячеславович Шилов (Лицей 22 «Надежда Сибири» и ИСИ СО РАН)
«The Verifying Compiler: a Grand Challenge for Computing Research» ХХ лет спустя.
Архив семинара
Д. М. Анищенко (НГУ)
Алгебры Гейтинга и теория двойственности (3-я часть, заключительная).
Аннотация
Грузинский логик Лео Эсакиа систематически исследовал алгебры Гейтинга, топобулевы алгебры и связи между данными классами алгебр. Им были установлены:
- классификация элементов топобулевой алгебры;
- двойственность категорий топобулевых алгебр (алгебр Гейтинга) и гибридов (строгих гибридов), гибрид - это топологическое пространство с предпорядком, который согласован с топологией определенным образом;
- фундаментальные свойства гибридов. В серии из трех реферативных докладов будет рассказано про данные исследования.
Доклады основаны на книге Лео Эсакиа, которая была недавно переведена на английский:
[1] Leo Esakia. "Heyting algebras. Duality theory". (ed. G. Bezhanishvili, W. H. Holliday). Springer Nature, Switzerland, 2019.
Д. М. Анищенко (НГУ)
Алгебры Гейтинга и теория двойственности (2-я часть).
Аннотация
Грузинский логик Лео Эсакиа систематически исследовал алгебры Гейтинга, топобулевы алгебры и связи между данными классами алгебр. Им были установлены:
- классификация элементов топобулевой алгебры;
- двойственность категорий топобулевых алгебр (алгебр Гейтинга) и гибридов (строгих гибридов), гибрид - это топологическое пространство с предпорядком, который согласован с топологией определенным образом;
- фундаментальные свойства гибридов. В серии из трех реферативных докладов будет рассказано про данные исследования.
Доклады основаны на книге Лео Эсакиа, которая была недавно переведена на английский:
[1] Leo Esakia. "Heyting algebras. Duality theory". (ed. G. Bezhanishvili, W. H. Holliday). Springer Nature, Switzerland, 2019.
Д. М. Анищенко (НГУ)
Алгебры Гейтинга и теория двойственности.
Аннотация
Грузинский логик Лео Эсакиа систематически исследовал алгебры Гейтинга, топобулевы алгебры и связи между данными классами алгебр. Им были установлены:
- классификация элементов топобулевой алгебры;
- двойственность категорий топобулевых алгебр (алгебр Гейтинга) и гибридов (строгих гибридов), гибрид - это топологическое пространство с предпорядком, который согласован с топологией определенным образом;
- фундаментальные свойства гибридов. В серии из трех реферативных докладов будет рассказано про данные исследования.
Доклады основаны на книге Лео Эсакиа, которая была недавно переведена на английский:
[1] Leo Esakia. "Heyting algebras. Duality theory". (ed. G. Bezhanishvili, W. H. Holliday). Springer Nature, Switzerland, 2019.
Одинцов С.П. (ИМ СО РАН)
Дуальность Пристли: от дистрибутивных решеток до решеток Нельсона.
Аннотация
В 1970 году Хилари Пристли доказала, что категория дистрибутивных решеток дуально эквивалентна категории упорядоченных топологических пространств специально вида, называемых ныне пространствами Пристли. С тех пор дуальности такого вида активно исследуются, прежде всего для алгебраических моделей неклассических логик. В докладе будет дан обзор результатов о дуальностях Пристли для дистрибутивных решеток, алгебр Гейтинга, Де Моргана и Клини, а также для алгебраических моделей логик Нельсона N3 и N4.
[1] Priestley, H. A., ‘Representation of distributive lattices by means of ordered Stone spaces’, Bull. London Math. Soc., 2 (1970), 186–190.
[2] Davey, B. A., and H. A. Priestley, Introduction to Lattices and Order, Cambridge University Press, Cambridge, 2002.
[3] Odintsov, S. P., 'Priestley Duality for Paraconsistent Nelson’s Logic', Stud. Logica, 96 (2010), 65–93.
Витяев Е. Е. (ИМ СО РАН)
Об отрицательном результате Климентия Федоровича Самохвалова «Невозможность методов индукции инвариантных относительно языка».
Аннотация
Климентием Федоровичем Самохваловым в рамках исследований по разработке методов индукции был получен удивительный результат - было доказано что не существует методов индукции инвариантных относительно языка. В том числе оказалось, что понятие предсказания, также зависит от языка. Метод индукции, обрабатывающий данные в одном языке будет делать одни предсказания, а если мы перепишем эти же данные в другом языке и применим тот же метод индукции, то получим другие предсказания. Результат можно усилить - как только мы сделали предсказание, то всегда можно переписать данные так, что применив к ним тот же метод мы получим противоположное предсказание. Зависимость предсказаний от языка до сих пор не осознана и является значимой проблемой науки.Шилов Н. В. (Лицей 22 «Надежда Сибири»)
Как доказывать рекурсивные программы.
Аннотация
В учебном докладе (предназначенном, прежде всего, для студентов) будет представлена аксиоматическая семантика рекурсивных императивных программ, в которой могут возникать бесконечные доказательства (и будет рассказано, как сделать эти доказательства конечными).Информация о семинаре
Руководитель:
д.ф.-м.н. С. П. Одинцов
Семинар проводится лабораторией логических систем ИМ и кафедрой алгебры и математической логики НГУ
Время и место проведения:
Четверг, 16.20 ч., ауд. 5251, НГУ (новый корпус)
