Myvideo

Guest

Login

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

Uploaded By: Myvideo
4 views
0
0 votes
0

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

Share with your friends

Link:

Embed:

Video Size:

Custom size:

x

Add to Playlist:

Favorites
My Playlist
Watch Later