Проф. Кевин Баззард | Формализация Ферма: как идут дела

Название: Формализация Ферма: как продвигается работа Докладчик: Профессор Кевин Баззард (Имперский колледж Лондона) Дата: 9 июня 2025 г. - 10:15–11:15 🗓️ Мероприятие: (BPRW03) Большое доказательство: формализация математики в масштабе 🔗 Подробнее: https://www.newton.ac.uk/seminar/46695 ------------------- СЛЕДИТЕ ЗА НАМИ 🌐| Веб-сайт: https://www.newton.ac.uk 🎥| Основной канал:    / @isaacnewtoninstitute   🐦| Twitter:   / newtoninstitute   💬| Facebook:   / newton.institute   📷| Instagram:   / isaacnewtoninstitute   🔗| LinkedIn:   / isaac-newton-institute-for-mathematical-sc...   ЗАЛЫ ДЛЯ СЕМИНАРОВ 🥇| Зал для семинаров INI 1:    / @iniseminarroom1   🥈| Зал для семинаров INI 2:    / @iniseminarroom2   🛰️| Дополнительные мероприятия INI:    / @inisatellite   О НАС Институт Исаака Ньютона — это национальный и международный научно-исследовательский институт, принимающий приглашенных исследователей. Он реализует исследовательские программы по избранным темам в области математики и математических наук с приложениями в широком спектре науки и техники. Он привлекает ведущих ученых-математиков из Великобритании и других стран для взаимодействия в исследованиях в течение длительного периода времени. 👉 Узнайте больше о нас и наших мероприятиях здесь: https://www.newton.ac.uk