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

14 октября  состоится лекция для школьников «Доказательство в математике: эволюция понятия» в рамках проекта «Университетские субботы» в Высшей школе экономики.   

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

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

Продолжительность:  14:00 – 15:30.  

Место проведения:  Москва, ул. Мясницкая, д. 20, учебный корпус НИУ ВШЭ, 1-й этаж, ауд. 101.  

Приглашаются все желающие!  

Вход на мероприятие по предварительной регистрации на сайте проекта «Университетские субботы».
Для прохода в здание необходимо предъявить паспорт или любой другой документ, удостоверяющий личность.