• 27 сентября, среда
  • Долгопрудный, Актовый Зал, Лабораторный Корпус

Борис Зеликович Мороз - Диофантовы уравнения и доказуемость в математике

Регистрация на событие закрыта

Извините, регистрация закрыта. Возможно, на событие уже зарегистрировалось слишком много человек, либо истек срок регистрации. Подробности Вы можете узнать у организаторов события.

Другие события организатора

Школа Прикладной Математики и Информатики МФТИ
81 день назад
27 сентября, начало в 18:30
Долгопрудный
Актовый Зал, Лабораторный Корпус

По теореме Ю.В. Матиясевича всякое перечислимое множество является диофантовым, и потому, так как множество теорем любой формальной теории перечислимо, доказательство теорем по существу сводится к изучению целых точек на некоторых гиперповерхностях. Я постараюсь описать одну из таких гиперповерхностей.

Регистрация

Рекомендуемые события

Организуете события? Обратите внимание на TimePad!

Профессиональная билетная система, статистика продаж 24/7, выгрузка списков участников, встроенные инструменты продвижения, личный кабинет для самостоятельного управления и еще много чего интересного.

Узнать больше