Л.Д. Беклемишев. Позитивная логика для схем рефлексии в арифметике
22 января 2015 г. 16:00, г. Москва
Общеинститутский семинар «Математика и ее приложения» Математического института им. В. А. Стеклова РАН
Л.Д. Беклемишев, Позитивная логика для схем рефлексии в арифметике
Источник: видеотека Math-Net.Ru - http://www.mathnet.ru/present10778
Видео Л.Д. Беклемишев. Позитивная логика для схем рефлексии в арифметике канала МЦМУ МИАН
Общеинститутский семинар «Математика и ее приложения» Математического института им. В. А. Стеклова РАН
Л.Д. Беклемишев, Позитивная логика для схем рефлексии в арифметике
Источник: видеотека Math-Net.Ru - http://www.mathnet.ru/present10778
Видео Л.Д. Беклемишев. Позитивная логика для схем рефлексии в арифметике канала МЦМУ МИАН
Показать
Комментарии отсутствуют
Информация о видео
Другие видео канала
А.А. Гайфуллин. Гомологические сферы и алгоритмическая неразрешимость в топологии. Семинар 1
Д.Г. Руденко. Забытая теорема Кокстера и объёмы неевклидовых многогранников. Семинар 4
Л.Д. Беклемишев. Доказуемость и модальная логика. Занятие 1
Беклемишев Лев - Аксиоматический метод
Г.Б. Шабат. О сферах размерности 1,2,…,7. Семинар 1
И.В. Аржанцев. Бесконечная транзитивность. Семинар 1
Е.Ю. Смирнов. Плоские разбиения и формула Макмагона. Семинар 1
Л.Д. Беклемишев. Элементарная геометрия с точки зрения логики
С.К. Ландо. Непрерывные дроби. Лекция
И.А. Смилга. Игра в пинг-понг с теннисным мячом: замощения аффинного пространства. Семинар 1
В.Ю. Протасов. Замощения пространства и сжатие информации. Лекция
А.Б. Сосинский. Узлы, зацепления и их полиномы. Семинар 1
Г.Ю. Панина. Слоения, железные дороги Терстона и гиперболическая геометрия на поверхностях.Семинар 3
В.А. Клепцын. ℘ -функция Вейерштрасса, ряды Эйзенштейна и модулярные функции. Семинар 4
Ф.Д. Рухович. Внешние бильярды. Семинар 1
И.В. Аржанцев. Бесконечная транзитивность. Семинар 2
И.А. Яковлев. Доказательство Гаусса основной теоремы алгебры. Семинар 1
В.А. Кириченко. Танглы Конвея и модулярная группа. Семинар 3
К.А. Шрамов. Симметрии алгебраических многообразий. Семинар 3
А.Г. Кузнецов. Системы корней и диаграммы Дынкина. Семинар 4