Семинар-130

Расширенный семинар отдела
вычислительных систем ИММ УрО РАН

Доклад


Когда и где
19 июня 2023 г. 15:00, понедельник
online: https://videoconf.uran.ru/b/k4z-iqv-zk1-1ve
Докладчики
  • Бахтерев Михаил Олегович
Название
Теорема Белла и реляционные базы данных
Аннотация
Разбираем статью S. Abramsky "Relational databases and Bell's Theorem", которая рассказывает о взаимосвязи конструкций некоторых теорем о недопустимости в основаниях квантовой механики и теории реляционных баз данных на языке теории категорий и теории пучков.

Из анализа этой взаимосвязи можно сделать вывод, что теорема Белла может быть проинтерпретирована не как теорема о вероятностях, а как теорема о глобальном контексте.

Все эти понятия мы разберём в ходе доклада. Статья демонстрирует простой и почти очевидный пример прикладных категорных рассуждений с небезынтересными для общей картины мира выводами.
Презентация
Ссылка на видео
Видео

Вернуться к списку новостей