✅ Диагональные конструкции: Кантор, Бэр, теория вычислимости
Знаменитая "диагональная конструкция" придумана Кантором для доказательства того, что нельзя пронумеровать натуральными числами все последовательности нулей и единиц. Она может быть пересказана так: "на n-м шаге мы гарантируем выполнение n-го требования и так строим объект, удовлетворяющий всем требованиям".
Этот тип рассуждений встречается во многих ситуациях (в теории алгоритмов и не только). Мы разберём несколько примеров в зависимости от интересов слушателей.
Задача для разогрева: можно ли отметить точки на прямой так, чтобы среди расстояний между ними по одному разу встречались все натуральные числа?
⭐️ Александр Шень (CNRS, ИППИ РАН) — специалист по дискретной математике и информатике, автор книг, популяризатор.
📍 Начало в 18:00 МСК/15:00 GMT
❗️Если вы школьник/студент и хотите стать контрольным слушателем, напишите мне @d1_d57.
📌 Ссылка на Zoom стандартная.
✉️ КАНАЛ СЕМИНАРА
#открытые_лекции #анонс