Математик Юрий Матиясевич выступит в Уральском госуниверситете с открытыми лекциями, сообщили агентству ЕАН в пресс-службе вуза.
Серия лекций известного математика, академика РАН Юрия Матиясевича посвящена различию с алгоритмической точки зрения вещественных и целых чисел. Мероприятия пройдут 28-30 октября.
В ходе лекций он предложит слушателям версию алгоритма Тарского, позволяющего установить истинность или ложность любой замкнутой арифметической формулы первого порядка с переменными для вещественных чисел.
А во второй части основное внимание будет уделено отрицательному решению десятой проблемы Гильберта. Десятая проблема – одна из знаменитых 23 «математических проблем», поставленных великим немецким математиком Давидом Гильбертом в 1900 году.
В задаче требуется найти алгоритм, позволяющий по произвольному диофантову уравнению узнавать, имеет ли оно решения в целых числах. Еще в 22 года Юрий Матиясевич доказал, что такого алгоритма не существует. Открытие принесло молодому ученому мировую известность.
После лекций все желающие смогут посмотреть фильм «Джулия Робертсон и десятая проблема Гильберта» на английском языке. Кинофильм рассказывает о жизни Джулии Робинсон, американской женщины-математика, посвятившей свою жизнь решению десятой проблемы Гильберта.
Юрий Матиясевич – российский математик, исследователь компьютерных наук. Является членом Санкт-Петербургского математического общества и Американского математического общества. В 1996 году он был избран почетным доктором Университета французской провинции Овернь, с 2008 года – академик РАН. В настоящее время заведует лабораторией математической логики Санкт-Петербургского отделения Математического института РАН. Опубликовал более 60 научных работ. Марина Колесникова, Европейско-Азиатские новости.
Серия лекций известного математика, академика РАН Юрия Матиясевича посвящена различию с алгоритмической точки зрения вещественных и целых чисел. Мероприятия пройдут 28-30 октября.
В ходе лекций он предложит слушателям версию алгоритма Тарского, позволяющего установить истинность или ложность любой замкнутой арифметической формулы первого порядка с переменными для вещественных чисел.
А во второй части основное внимание будет уделено отрицательному решению десятой проблемы Гильберта. Десятая проблема – одна из знаменитых 23 «математических проблем», поставленных великим немецким математиком Давидом Гильбертом в 1900 году.
В задаче требуется найти алгоритм, позволяющий по произвольному диофантову уравнению узнавать, имеет ли оно решения в целых числах. Еще в 22 года Юрий Матиясевич доказал, что такого алгоритма не существует. Открытие принесло молодому ученому мировую известность.
После лекций все желающие смогут посмотреть фильм «Джулия Робертсон и десятая проблема Гильберта» на английском языке. Кинофильм рассказывает о жизни Джулии Робинсон, американской женщины-математика, посвятившей свою жизнь решению десятой проблемы Гильберта.
Юрий Матиясевич – российский математик, исследователь компьютерных наук. Является членом Санкт-Петербургского математического общества и Американского математического общества. В 1996 году он был избран почетным доктором Университета французской провинции Овернь, с 2008 года – академик РАН. В настоящее время заведует лабораторией математической логики Санкт-Петербургского отделения Математического института РАН. Опубликовал более 60 научных работ. Марина Колесникова, Европейско-Азиатские новости.
