|
|
Современные проблемы теории чисел
10 октября 2019 г. 12:45, г. Москва, МИАН, комн. 530 (ул. Губкина, 8)
|
 |
|
 |
|
|
|
Диофантовы уравнения и формальная математика.
Б. З. Мороз
Московский физико-технический институт (государственный университет), г. Долгопрудный, Московская обл.
|
| Количество просмотров: |
| Эта страница: | 186 |
|
Аннотация:
По теореме Ю.В. Матиясевича, всякое перечислимое множество диофантово; в частности, диофантовым является множество теорем формальной теории. Доказательство этой теоремы конструктивно и позволяет в принципе
построить диофантово уравнение, разрешимость которого эквивалентна выводимости в этой теории. Я опишу диофантово уравнение, кодирующее выводимость в аксиоматической теории множеств.
|
|
Обратная связь: