Видеотека
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Видеотека
Архив
Популярное видео

Поиск
RSS
Новые поступления






SIMC Welcomes Postdocs-2020
23 апреля 2021 г. 11:00–11:45, г. Москва, МИАН, комн. 104 (ул. Губкина, 8) + Zoom
 


A Computational Perspective on Reasoning about Probability Spaces

S. Speranski
Видеозаписи:
MP4 3,416.9 Mb
Материалы:
Adobe PDF 315.7 Kb

Количество просмотров:
Эта страница:169
Видеофайлы:56
Материалы:12

S. Speranski
Фотогалерея


Видео не загружается в Ваш браузер:
  1. Проверьте с Вашим администратором, что из Вашей сети разрешены исходящие соединения на порт 8080
  2. Сообщите администратору портала о данной ошибке

Аннотация: The aim of this talk is to give a survey of the computational aspects of quantified probability logics. More precisely, we shall be concerned with what might be called the elementary theories of natural classes of probability spaces, and for each such theory its complexity will be measured by its degrees of algorithmic undecidability. For example:
  • the theory of atomless spaces turns out to be decidable;
  • the theory of finite spaces is computably isomorphic to the complement of the halting problem for Turing machines;
  • the theory of discrete spaces — as well as the theory of infinite spaces — is computably isomorphic to complete second-order arithmetic, which can be identified with elementary analysis.
We shall discuss these and other results, and also take a brief look at the underlying mathematical machinery.

Материалы: speranski.pdf (315.7 Kb)

Язык доклада: английский

* Идентификатор конференции: 910 7872 5825 Код доступа: 127769

ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru
 
Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2021