Лекция «Доказательство в математике: эволюция понятия»

Лектор расскажет о том, как изменялось понимание доказательства в математике от древних времен до наших дней, а также приведет примеры корректных и некорректных доказательств. Кроме того, школьники узнают про парадокс Рассела и как он разрешается, про формализацию понятия доказательства, которая произошла в конце 19 - начале 20 века. Лектор объяснит в чем состоит знаменитая теорема Гёделя о неполноте. А в конце лекции слушатели узнают про недавние очень длинные доказательства, составленные с помощью компьютера, которые может проверить только компьютер.  

Преподаватель: Кудинов Андрей Валерьевич, кандидат физико-математических наук, доцент Факультета математики НИУ ВШЭ.  

Время: 14:00 

Адрес:  ул. Мясницкая, д. 20, ауд. 101

Регистрация: http://us.dogm.mos.ru/events-list/371/21129