Л.Д. Беклемишев. Об открытых вопросах теории доказательств
Спецсеминар "Об открытых вопросах теории доказательств"
14 октября 2019 г., г. Москва, МИАН, ауд. 530
Источник: http://www.mathnet.ru/present25506
Все видео курса:
http://www.mathnet.ru/php/conference.phtml?eventID=9&confid=876
https://www.youtube.com/playlist?list=PLUbD59ZHv1GQZzqUyqtjoYp5BxbOQw3d2
Видео Л.Д. Беклемишев. Об открытых вопросах теории доказательств канала МЦМУ МИАН
14 октября 2019 г., г. Москва, МИАН, ауд. 530
Источник: http://www.mathnet.ru/present25506
Все видео курса:
http://www.mathnet.ru/php/conference.phtml?eventID=9&confid=876
https://www.youtube.com/playlist?list=PLUbD59ZHv1GQZzqUyqtjoYp5BxbOQw3d2
Видео Л.Д. Беклемишев. Об открытых вопросах теории доказательств канала МЦМУ МИАН
Показать
Комментарии отсутствуют
Информация о видео
Другие видео канала
![Лекция 6. А.А. Арутюнов. Грубая геометрия](https://i.ytimg.com/vi/JM7FXqqFWkA/default.jpg)
![Лекция 7. А.А. Арутюнов. Грубая геометрия](https://i.ytimg.com/vi/LR0OUAlXiRU/default.jpg)
![Лекция 5. А.А. Арутюнов. Грубая геометрия](https://i.ytimg.com/vi/Oy5cMCZTodA/default.jpg)
![Лекция 12. Г.Г. Амосов, В.И. Яшин. Модели вычислений на квантовых схемах](https://i.ytimg.com/vi/G5s7NzBzhcs/default.jpg)
![Лекция 11. Г.Г. Амосов, В.И. Яшин. Модели вычислений на квантовых схемах](https://i.ytimg.com/vi/IyAxYW4in9A/default.jpg)
![Лекция 10. Г.Г. Амосов, В.И. Яшин. Модели вычислений на квантовых схемах](https://i.ytimg.com/vi/6cE6rwfPkNM/default.jpg)
![Лекция 9. Г.Г. Амосов, В. И. Яшин. Модели вычислений на квантовых схемах](https://i.ytimg.com/vi/9ovsrdvwYoI/default.jpg)
![Лекция 11. С.О. Сперанский. Нестандартные модели арифметики и анализа](https://i.ytimg.com/vi/JcUIj7J60dI/default.jpg)
![Д.С. Агеев. Квантовая информация в конформной теории поля](https://i.ytimg.com/vi/vm8Pj0XNATY/default.jpg)
![Н. Решетихин. Статистика неразложимых компонент в больших тензорных степенях представлений](https://i.ytimg.com/vi/rISvURE2DVI/default.jpg)
![Ю.В. Малыхин. Сложность матриц и аппроксимация](https://i.ytimg.com/vi/-TW0_w6BK5M/default.jpg)
![Д.В. Трещев. Энтропия оператора](https://i.ytimg.com/vi/IERxWpRJpVw/default.jpg)
![С. И. Безродных. Аналитическое продолж. функции Лауричеллы и конформное отображение многоугольников](https://i.ytimg.com/vi/dRDRrl-PVco/default.jpg)
![Конференция «Колмогоров-120. МИАН»](https://i.ytimg.com/vi/jKQ9Ub5rhsg/default.jpg)
![Лекция 7. Г.Г. Амосов, В.И. Яшин. Модели вычислений на квантовых схемах](https://i.ytimg.com/vi/CEt42WrU9tE/default.jpg)
![Лекция 8. Г.Г. Амосов, В.И. Яшин. Модели вычислений на квантовых схемах](https://i.ytimg.com/vi/k2_W4bUulo8/default.jpg)
![Лекция 6. В.И. Яшин, Г.Г. Амосов. Модели вычислений на квантовых схемах](https://i.ytimg.com/vi/cWAz2rnxeZY/default.jpg)
![Лекция 9. С.О. Сперанский. Нестандартные модели арифметики и анализа](https://i.ytimg.com/vi/ZvkGGTDwxgY/default.jpg)
![Лекция 10. С.О. Сперанский. Нестандартные модели арифметики и анализа](https://i.ytimg.com/vi/iEn29AvOdFc/default.jpg)
![Лекция 7. С.О. Сперанский. Нестандартные модели арифметики и анализа](https://i.ytimg.com/vi/IfPnapXHw-8/default.jpg)
![Лекция 8. С.О. Сперанский. Нестандартные модели арифметики и анализа](https://i.ytimg.com/vi/nxpozSZAF88/default.jpg)