Математическое доказательство вчера, сегодня, завтра | Николай Вавилов
Автор: Dmitriy V.
Загружено: 2019-09-26
Просмотров: 7861
Оригинальное видео на сайте univertv.ru:
http://univertv.ru/video/matematika/m...
В лекции рассказывается о том, что на практике означают тексты, называющиеся математическими доказательствами. Рассматриваемое как текст математическое доказательство не доказывает ничего, кроме факта, что оно доказательство. Ни одно серьёзное доказательство не может быть формализовано в рамках того времени и материала, которые у нас есть. Классификация конечных простых групп доказана, так как в ней есть текст, который проще формализовать, чем другие тексты в области анализа и дифференциальных уравнений. Эти вопросы подробно рассматриваются в данной лекции.
Вавилов Н.А.
д.ф.-м.н., проф. кафедры алгебры и теории чисел математико-механического факультета СПбГУ
Совместное заседание Санкт-Петербургского математического общества и секции математики Дома учёных
Дата съемки: 23.03.2010
Доступные форматы для скачивания:
Скачать видео mp4
-
Информация по загрузке:
![Старейшая нерешённая математическая задача [Veritasium]](https://imager.clipsaver.ru/FuRem6-sTmQ/max.jpg)
