Межкафедральный семинар имени А. Н. Колмогорова для студентов 1-2 курса

Межкафедральный семинар имени А. Н.  Колмогорова для студентов 1-2 курса будет работать по понедельникам в 19:30 ОНЛАЙН .

Ссылку на зум можно получить по запросу на адрес vladimir.bogachev@math.msu.ru

Занятия семинара проводятся представителями разных кафедр и областей математики с целью ориентации младшекурсников,  раздумывающих о выборе своей области  исследований ; они независимы друг от друга.

Предварительных знаний,  выходящих за рамки программы второго  курса, не требуется.

Заседание 1 марта 

Алексей Львович Семенов, академик, зав. кафедрой математической логики и теории алгоритмов мехмата

Теория определимости: Теорема Геделя.

Определения – не менее важная часть математики, чем теоремы, доказательства и алгоритмы. Математическая логика (и теория алгоритмов) занимается математическим изучением всех этих понятий. В докладе речь будет идти прежде всего об определениях и о том, как определимость связана с доказуемостью и истинностью.  Будет доказана Теорема Геделя о невозможности построения для математики системы доказательства, в которой  удавалось бы доказать или опровергнуть всякое математическое утверждение.

В один из следующих понедельников последует продолжение (будет объявлено отдельно): Теория определимости: Теорема Тарского .
 

Категория: 
Наука