Математическое доказательство вчера, сегодня, завтра | Николай Вавилов

Оригинальное видео на сайте univertv.ru: http://univertv.ru/video/matematika/m... В лекции рассказывается о том, что на практике означают тексты, называющиеся математическими доказательствами. Рассматриваемое как текст математическое доказательство не доказывает ничего, кроме факта, что оно доказательство. Ни одно серьёзное доказательство не может быть формализовано в рамках того времени и материала, которые у нас есть. Классификация конечных простых групп доказана, так как в ней есть текст, который проще формализовать, чем другие тексты в области анализа и дифференциальных уравнений. Эти вопросы подробно рассматриваются в данной лекции. Вавилов Н.А. д.ф.-м.н., проф. кафедры алгебры и теории чисел математико-механического факультета СПбГУ Совместное заседание Санкт-Петербургского математического общества и секции математики Дома учёных Дата съемки: 23.03.2010