Известный российский математик выступит с лекциями в УрГУ

Серию открытых лекций, посвященных различию с алгоритмической точки зрения вещественных и целых чисел, прочтет в Уральском государственном университете им. А.М. Горького (УрГУ) известный математик, академик РАН Юрий Матиясевич. Лекции известного ученого пройдут 28-30 октября. Их организатором выступает клуб "Computer Science".

"Еще учась в школе, я прочел в журнале "Квант" статью о десятой проблеме Гильберта, решение которой только что завершил Юрий Матиясевич, который тогда был аспирантом, - отмечает заведующий кафедрой алгебры и дискретной математики УрГУ, доктор физико-математических наук Михаил Волков. - Даже начинающий ученый может добиться успеха в решении важной задачи, не поддававшейся маститым предшественникам. Надеюсь, что для наших студентов, делающих первые самостоятельные шаги на пути математического поиска, история Юрия Матиясевича послужит таким же вдохновляющим примером, каким она в свое время стала для меня".

В ходе лекций Юрий Матиясевич предложит слушателям версию алгоритма Тарского, позволяющего установить истинность или ложность любой замкнутой арифметической формулы первого порядка с переменными для вещественных чисел. А во второй части основное внимание будет уделено отрицательному решению десятой проблемы Гильберта - одной из знаменитых 23 "математических проблем", поставленных великим немецким математиком Давидом Гильбертом на рубеже веков, в 1900 году.

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

После лекций все желающие смогут принять участие в просмотре фильма "Джулия Робинсон и десятая проблема Гильберта" (Julia Robinson and Hilberts Tenth Problem) на английском языке длительностью 60 минут. Фильм рассказывает о жизни Джулии Робинсон, американской женщины-математика, посвятившей свою жизнь решению десятой проблемы Гильберта.

Работа Робинсон зависела от идей ключевых фигур в истории современных математики и логики: Давида Гильберта, Альфреда Тарского, Алана Тьюринга и Курта Геделя. В картине сделан акцент на связи между научными поисками Джулии Робертсон и открытием новых идей, которые привели к разработке компьютеров.

В четверг и пятницу, 28 и 29 октября, лекции будут проходить с 18:00 до 21:00 в конференц-зале УрГУ (ул. Тургенева, 4). 30 октября лекции пройдут с 13:00 до 16:00 в актовом зале УрГУ (пр. Ленина, 51).

Юрий Матиясевич:

Известный российский математик, исследователь компьютерных наук. Еще будучи школьником, в 1964 г., получил первую премию на IV Международной математической олимпиаде. В 1970 г., в возрасте 22 лет, решил десятую проблему Гильберта.

Одним из интересных следствий решения этой проблемы является существование многочлена от многих переменных (в настоящее время их число сокращено до десяти) с целыми коэффициентами, множество всех положительных значений которого (при целых положительных значениях переменных) есть в точности множество всех простых чисел. Книга "Десятая проблема Гильберта", первоначально изданная на русском языке, была переведена на английский и французский.

Является членом Санкт-Петербургского математического общества (в 1998 году был избран его вице-президентом) и Американского математического общества. В 1996 году он был избран почетным доктором Университета французской провинции Овернь, в 1997 - членом-корреспондентом Российской академии наук, в 2008 - академиком РАН. В настоящее время заведует лабораторией математической логики Санкт-Петербургского отделения Математического института РАН.

Опубликовал более 60-и научных работ, им написано множество популярных статей, в частности, статей для журнала "Квант". Принимал участие в создании тома "Математика" цикла "Энциклопедия для детей".